Thu, 26 May 2005 10:05:11 +0200 | paulson | Narrower version of the Proof General's head; removal of the alternative icon and environment | file | diff | annotate |
Wed, 25 May 2005 10:32:20 +0200 | paulson | new environments for Proof General notes | file | diff | annotate |