| Mon, 13 Jun 2005 15:10:52 +0200 | paulson | downgraded to pdf v 1.4 | file | diff | annotate |
| Thu, 26 May 2005 10:02:01 +0200 | paulson | Narrower version of the Proof General's head | file | diff | annotate |
| Wed, 25 May 2005 10:32:20 +0200 | paulson | new environments for Proof General notes | file | diff | annotate |