| Sat, 22 Oct 2011 16:57:24 +0200 | wenzelm | discontinued redundant ASCII syntax; | file | diff | annotate |
| Sun, 15 May 2011 17:45:53 +0200 | wenzelm | simplified/unified method_setup/attribute_setup; | file | diff | annotate |
| Fri, 23 Apr 2010 23:35:43 +0200 | wenzelm | mark schematic statements explicitly; | file | diff | annotate |
| Sat, 13 Mar 2010 16:44:12 +0100 | wenzelm | removed old CVS Ids; | file | diff | annotate |
| Mon, 16 Mar 2009 18:24:30 +0100 | wenzelm | simplified method setup; | file | diff | annotate |
| Fri, 13 Mar 2009 19:58:26 +0100 | wenzelm | unified type Proof.method and pervasive METHOD combinators; | file | diff | annotate |
| Thu, 22 Jun 2006 18:48:25 +0200 | ballarin | Removed debugging code. | file | diff | annotate |