[isabelle-dev] Remaining uses of Proof General?
rene.neumann at in.tum.de
Tue Apr 29 10:17:47 CEST 2014
>> 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
'isabelle keywords $SESSION' can be used to generate a new keywords file
with all keywords of $SESSION.
Institut für Informatik (I7)
Technische Universität München
85748 Garching b. München
Office: MI 03.11.055
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 4865 bytes
Desc: S/MIME Cryptographic Signature
More information about the isabelle-dev