Changes between Initial Version and Version 1 of ProofGeneral


Ignore:
Timestamp:
Nov 14, 2007, 5:34:41 PM (16 years ago)
Author:
David Aspinall
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ProofGeneral

    v1 v1  
     1The subject of this trac.
     2
     3NB: the preferred name has a space, '''Proof General''', contrary to the usage adopted by Isabelle developers!
     4
     5Please see http://proofgeneral.inf.ed.ac.uk