| Wed, 15 May 2013 20:39:25 +0200 | wenzelm | tuned; | changeset | files |
| 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 |