Ticket #199 (closed task: invalid)

Opened 6 years ago

Last modified 4 years ago

put space between modul and (short) description

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


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 5 years ago by anonymous

  • milestone 2.10.0 deleted

Milestone 2.10.0 deleted

Changed 5 years ago by SimonHengel

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

Changed 4 years 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.