Ticket #199 (new task)

Opened 14 months ago

Last modified 7 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 8 months ago by anonymous

  • milestone 2.10.0 deleted

Milestone 2.10.0 deleted

Changed 7 months ago by SimonHengel

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

Note: See TracTickets for help on using tickets.