Tue, 16 Oct 2012 20:23:00 +0200 | wenzelm | more proof method text position information; | file | diff | annotate |
Fri, 14 Sep 2012 18:12:41 +0200 | wenzelm | clarified markup names; | file | diff | annotate |
Thu, 26 Jul 2012 16:08:16 +0200 | blanchet | [1] goes after any attributes | file | diff | annotate |
Fri, 16 Mar 2012 18:20:12 +0100 | wenzelm | outer syntax command definitions based on formal command_spec derived from theory header declarations; | file | diff | annotate |
Fri, 24 Feb 2012 11:23:34 +0100 | blanchet | renamed 'try_methods' to 'try0' | file | diff | annotate | base |