| Tue, 30 Apr 2019 14:42:52 +0100 | paulson | more tidying up | file | diff | annotate |
| Tue, 30 Apr 2019 13:01:22 +0100 | paulson | A bit of de-applying | file | diff | annotate |
| Sat, 05 Jan 2019 17:24:33 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Thu, 15 Feb 2018 12:11:00 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Tue, 16 Jan 2018 09:30:00 +0100 | wenzelm | standardized towards new-style formal comments: isabelle update_comments; | file | diff | annotate |
| Sun, 26 Nov 2017 21:08:32 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Fri, 16 Sep 2016 21:28:09 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Mon, 29 Feb 2016 22:34:36 +0100 | wenzelm | clarified session; | file | diff | annotate | base |