+1 Fortunately, nowadays the list of manuals shown in jEdit is very helpful here.
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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev