| Wed, 26 Dec 2018 16:25:20 +0100 | wenzelm | isabelle update_cartouches -t; | file | diff | annotate |
| Wed, 26 Dec 2018 16:07:28 +0100 | wenzelm | tuned -- avoid conflict with cartouche argument; | file | diff | annotate |
| Fri, 12 Jan 2018 14:08:53 +0100 | wenzelm | isabelle update_cartouches -c; | file | diff | annotate |
| Sat, 09 Apr 2016 21:42:42 +0200 | wenzelm | removed old proof method "default"; | file | diff | annotate |