[isabelle-dev] informative changelogs / typedef (open) unit

Brian Huffman brianh at cs.pdx.edu
Fri Nov 19 01:07:52 CET 2010

On Thu, Nov 18, 2010 at 1:58 PM, Makarius <makarius at sketis.net> wrote:
> For some reason, many people have started to sequeze everything in a single
> line (frequent), or imitate the headline/body text format of other projects
> with a completely different structure (rare).  The reason might be as
> profane as the default web style of Mercurial, but at least on
> http://isabelle.in.tum.de/repos/isabelle the display follows the usual
> Isabelle format.

It seems that viewing the "changelog" style preserves the line-breaks
in commit messages.


But the "shortlog" style doesn't; it concatenates everything onto one line.


If most other Isabelle developers are like me, they probably look at
the "shortlog" style most of the time, and the style of commit
messages imitates what they see on the web interface.

If you want people to use linebreaks in their commit messages, it
would probably be a good idea to actually display them in the
"shortlog" view. Maybe you could add the "addbreaks" filter to the
shortlog theme in hgweb?


- Brian

More information about the isabelle-dev mailing list