[isabelle-dev] Consolidation of manual naming

Johannes Hölzl hoelzl at in.tum.de
Wed Mar 26 23:28:32 CET 2014


Fortunately, nowadays the list of manuals shown in jEdit is very helpful

Am Mittwoch, den 26.03.2014, 22:07 +0100 schrieb Florian Haftmann:
> Hi,
> since ancient times there is a glitch in the naming of manuals vs. their
> originating sessions, e.g. isar-ref vs. IsarRef.
> Would it be worth an effort to consolidate this?  I regularly get
> confused about that.
> Cheers,
> 	Florian

More information about the isabelle-dev mailing list