| Sat, 01 Nov 2014 15:01:41 +0100 | wenzelm | command-line terminator ";" is no longer accepted; | changeset | files |
| Sat, 01 Nov 2014 14:20:38 +0100 | wenzelm | eliminated spurious semicolons; | changeset | files |
| Sat, 01 Nov 2014 11:40:55 +0100 | wenzelm | eliminated former Proof General preferences; | changeset | files |
| Fri, 31 Oct 2014 23:51:54 +0100 | wenzelm | merged | changeset | files |