| Wed, 26 Nov 2014 20:05:34 +0100 | wenzelm | renamed "pairself" to "apply2", in accordance to @{apply 2}; | file | diff | annotate |
| Mon, 03 Nov 2014 14:50:27 +0100 | wenzelm | eliminated unused int_only flag (see also c12484a27367); | file | diff | annotate |
| Mon, 03 Nov 2014 14:31:15 +0100 | wenzelm | eliminated obsolete Proof.goal_message -- print outcome more directly; | file | diff | annotate |
| Fri, 31 Oct 2014 11:18:17 +0100 | wenzelm | discontinued Proof General; | file | diff | annotate |
| Tue, 08 Apr 2014 14:59:36 +0200 | wenzelm | more uniform ML/document antiquotations; | file | diff | annotate |
| Mon, 03 Mar 2014 22:33:22 +0100 | blanchet | tuned code | file | diff | annotate |
| Mon, 03 Mar 2014 22:33:22 +0100 | blanchet | removed nonstandard models from Nitpick | file | diff | annotate |
| Fri, 31 Jan 2014 10:34:20 +0100 | blanchet | compile | file | diff | annotate |
| Fri, 31 Jan 2014 10:23:32 +0100 | blanchet | tuned ML file name | file | diff | annotate | base |