| Fri, 31 Oct 2014 11:18:17 +0100 | wenzelm | discontinued Proof General; | changeset | files |
| Fri, 31 Oct 2014 17:01:54 +0000 | paulson | Some comments and a new version of a result | changeset | files |
| Thu, 30 Oct 2014 23:14:11 +0100 | wenzelm | merged | changeset | files |
| Thu, 30 Oct 2014 22:45:19 +0100 | wenzelm | eliminated aliases; | changeset | files |
| Thu, 30 Oct 2014 16:55:29 +0100 | wenzelm | eliminated aliases; | changeset | files |
| Thu, 30 Oct 2014 16:20:46 +0100 | wenzelm | eliminated aliases; | changeset | files |
| Thu, 30 Oct 2014 16:17:56 +0100 | wenzelm | tuned spelling; | changeset | files |
| Thu, 30 Oct 2014 15:57:13 +0100 | wenzelm | hardwired imitation of copy.shortcut2 default; | changeset | files |