| Sat, 10 Oct 2015 20:54:44 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Sat, 10 Oct 2015 20:51:39 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Thu, 23 Jul 2015 14:25:05 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Sat, 25 May 2013 15:37:53 +0200 | wenzelm | syntax translations always depend on context; | file | diff | annotate |