| Thu, 07 Sep 2017 11:36:57 +0200 | wenzelm | avoid depedency on FSet; | file | diff | annotate |
| Mon, 10 Jul 2017 23:21:54 +0200 | Lars Hupel | FSet is monadic | file | diff | annotate |
| Sat, 16 Jan 2016 15:04:31 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Sat, 02 Jan 2016 13:29:34 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Fri, 01 Jan 2016 14:44:52 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Mon, 28 Dec 2015 21:47:32 +0100 | wenzelm | former "xsymbols" syntax is used by default, and ASCII replacement syntax with print mode "ASCII"; | file | diff | annotate |
| Wed, 17 Jun 2015 11:03:05 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |