>> What is funny is that Proof General was actually one of the main >> reasons of moving only >> slowly in such token language reforms. > I am glad that PG still works for most of my theories and I try to keep > that state as long as feasible. There are already problems with new > keywords declared by AFP entries that are not listed in the keywords > file.
'isabelle keywords $SESSION' can be used to generate a new keywords file with all keywords of $SESSION. - René -- René Neumann Institut für Informatik (I7) Technische Universität München Boltzmannstr. 3 85748 Garching b. München Tel: +49-89-289-17232 Office: MI 03.11.055
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev