Wed, 15 May 2013 20:34:42 +0200 | wenzelm | moved files; | changeset | files |
Wed, 15 May 2013 20:28:43 +0200 | wenzelm | clarified default for Proofterm.proofs, according to etc/options and innermost setmp; | changeset | files |
Wed, 15 May 2013 20:22:46 +0200 | wenzelm | maintain ProofGeneral preferences within ProofGeneral module; | changeset | files |
Wed, 15 May 2013 17:39:41 +0200 | wenzelm | just one ProofGeneral module; | changeset | files |
Wed, 15 May 2013 18:44:19 +0200 | blanchet | tuning | changeset | files |
Wed, 15 May 2013 18:39:20 +0200 | blanchet | more work on SPASS datatypes | changeset | files |