| Fri, 17 Mar 2000 22:51:05 +0100 | wenzelm | simplified Proof General setup; | changeset | files |
| Fri, 17 Mar 2000 22:50:41 +0100 | wenzelm | untag: only name arg; | changeset | files |
| Fri, 17 Mar 2000 22:50:04 +0100 | wenzelm | arith: "!" arg; | changeset | files |
| Fri, 17 Mar 2000 22:49:44 +0100 | wenzelm | x-symbol; | changeset | files |