| Wed, 04 Nov 2015 08:13:52 +0100 | ballarin | Keyword 'rewrites' identifies rewrite morphisms. | file | diff | annotate |
| Tue, 06 Oct 2015 15:39:00 +0200 | wenzelm | added 'proposition' command; | file | diff | annotate |
| Tue, 06 Oct 2015 15:14:28 +0200 | wenzelm | fewer aliases for toplevel theorem statements; | file | diff | annotate |
| Tue, 22 Sep 2015 18:56:25 +0200 | wenzelm | separate command 'print_definitions'; | file | diff | annotate |
| Mon, 17 Aug 2015 19:34:15 +0200 | wenzelm | support for ML files with/without debugger information; | file | diff | annotate |
| Fri, 17 Jul 2015 21:40:47 +0200 | wenzelm | skeleton for interactive debugger; | file | diff | annotate |
| Wed, 08 Jul 2015 15:37:32 +0200 | wenzelm | clarified text folds: proof ... qed counts as extra block; | file | diff | annotate |