[isabelle-dev] Consolidation of manual naming
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:
> 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.
More information about the isabelle-dev