| Tue, 04 Apr 2017 23:12:08 +0200 | wenzelm | print like syntax of Thy_Header.header; | file | diff | annotate |
| Tue, 04 Apr 2017 22:56:28 +0200 | wenzelm | more explicit types; | file | diff | annotate |
| Tue, 06 Sep 2016 15:02:22 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 04 Aug 2016 10:55:51 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Tue, 02 Aug 2016 17:35:18 +0200 | wenzelm | support 'abbrevs' within theory header; | file | diff | annotate |
| Wed, 13 Jul 2016 19:36:47 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 11 Jul 2016 16:36:29 +0200 | wenzelm | explicit kind "before_command"; | file | diff | annotate |
| Sun, 10 Jul 2016 11:48:30 +0200 | wenzelm | support for quasi_command keywords; | file | diff | annotate |
| Sun, 10 Jul 2016 11:18:35 +0200 | wenzelm | tuned signature: more uniform Keyword.spec; | file | diff | annotate |
| Fri, 08 Jul 2016 22:22:51 +0200 | wenzelm | indentation in reminiscence to Proof General (see proof-indent.el); | file | diff | annotate |
| Thu, 07 Jul 2016 21:34:56 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Wed, 08 Jul 2015 15:37:32 +0200 | wenzelm | clarified text folds: proof ... qed counts as extra block; | file | diff | annotate |
| Wed, 08 Jul 2015 12:09:44 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 01 Jul 2015 21:48:46 +0200 | wenzelm | clarified keyword categories; | file | diff | annotate |
| Sun, 15 Mar 2015 14:46:01 +0100 | wenzelm | more command categories, as in ML; | file | diff | annotate |