| Wed, 22 Jun 2005 09:26:18 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| 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 |