| Sun, 03 Dec 2017 18:53:49 +0100 | wenzelm | misc tuning and modernization; | file | diff | annotate |
| Mon, 07 Dec 2015 10:38:04 +0100 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Fri, 31 Jan 2014 14:33:02 +0100 | wenzelm | tuned headers; | file | diff | annotate |