| 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 |
| Thu, 02 Dec 2004 14:47:07 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Thu, 19 Feb 2004 17:57:54 +0100 | paulson | new numerics section using type classes | file | diff | annotate |
| Tue, 07 May 2002 15:03:50 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Sat, 05 Jan 2002 01:18:54 +0100 | wenzelm | \newcommand{\isasymignore}{}, so we may use \<ignore> to disambiguate | file | diff | annotate |