Sat, 28 Nov 2009 16:16:17 +0100 | wenzelm | PG version 3.7.1.1; | changeset | files |
Sat, 28 Nov 2009 15:54:25 +0100 | wenzelm | allow spaces within PROOFGENERAL_EMACS; | changeset | files |
Sat, 28 Nov 2009 15:53:10 +0100 | wenzelm | allow spaces within command-line arguments; | changeset | files |