| Thu, 05 Nov 2015 10:39:49 +0100 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Fri, 04 Sep 2015 19:22:13 +0200 | wenzelm | modernized name space management -- more uniform qualification; | file | diff | annotate |
| Wed, 17 Jun 2015 11:03:05 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Sun, 02 Nov 2014 17:20:45 +0100 | wenzelm | modernized header; | file | diff | annotate |
| Sun, 23 Jun 2013 21:16:07 +0200 | haftmann | migration from code_(const|type|class|instance) to code_printing and from code_module to code_identifier | file | diff | annotate |
| Sat, 11 May 2013 16:13:08 +0200 | wenzelm | avoid PolyML.makestring, even in dead code; | file | diff | annotate |
| Sun, 22 Jul 2012 09:56:34 +0200 | haftmann | library theories for debugging and parallel computing using code generation towards Isabelle/ML | file | diff | annotate |