| Sat, 28 Nov 2009 20:03:07 +0100 | wenzelm | updated generated files; | changeset | files |
| Sat, 28 Nov 2009 18:17:10 +0100 | wenzelm | proper quoting of array expansion -- allow spaces in components; | changeset | files |
| Sat, 28 Nov 2009 17:59:02 +0100 | wenzelm | added "sos"; | changeset | files |
| 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 |
| Fri, 27 Nov 2009 23:08:26 +0100 | wenzelm | proper quotes; | changeset | files |