Changes between Initial Version and Version 1 of ProofGeneral
- Timestamp:
- Nov 14, 2007, 5:34:41 PM (17 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
ProofGeneral
v1 v1 1 The subject of this trac. 2 3 NB: the preferred name has a space, '''Proof General''', contrary to the usage adopted by Isabelle developers! 4 5 Please see http://proofgeneral.inf.ed.ac.uk