| Tue, 17 Nov 2009 14:51:57 +0100 | wenzelm | eliminated slightly odd name space grouping -- now managed by Isar toplevel; | file | diff | annotate |
| Fri, 13 Nov 2009 21:11:15 +0100 | wenzelm | modernized structure Local_Theory; | file | diff | annotate |
| Sun, 25 Oct 2009 19:21:34 +0100 | wenzelm | name space groups are identified by serial, not serial_string; | file | diff | annotate |
| Sat, 24 Oct 2009 20:47:10 +0200 | krauss | configuration flag "partials" | file | diff | annotate |
| Fri, 23 Oct 2009 16:22:10 +0200 | krauss | function package: more standard names for structures and files | file | diff | annotate |
| Fri, 23 Oct 2009 15:33:19 +0200 | krauss | renamed FundefDatatype -> Function_Fun | file | diff | annotate |