Changes between Version 1 and Version 2 of ProofGeneral


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

--

Legend:

Unmodified
Added
Removed
Modified

  • ProofGeneral

    v1 v2  
    1 The subject of this trac.
     1= Proof General... =
    22
    3 NB: the preferred name has a space, '''Proof General''', contrary to the usage adopted by Isabelle developers!
     3is subject of this trac.
     4
     5NB: the preferred name has a space, '''Proof General''', contrary to the usage adopted by certain
     6theorem prover developers!
    47
    58Please see http://proofgeneral.inf.ed.ac.uk