Ticket #199 (closed task: invalid)

Opened 3 years ago

Last modified 15 months ago

put space between modul and (short) description

Reported by: maeder Owned by:
Priority: trivial Milestone:
Version: 2.9.4 Keywords:
Cc:

Description

http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/src-distribution/versions/Hets/docs/ The text following the "Description :" tag in the haddock header is not separated from the modul link.

Change History

Changed 2 years ago by anonymous

  • milestone 2.10.0 deleted

Milestone 2.10.0 deleted

Changed 2 years ago by SimonHengel

I'm not sure if I understand what you mean. Can you give a self-contained example?

Changed 15 months ago by Fūzetsu

  • status changed from new to closed
  • resolution set to invalid

Closing after no clarification. I tried to build Hets and failed. I posted to their mailing list weeks ago but it seems dead.

Note: See TracTickets for help on using tickets.