| Fri, 27 Jan 2006 19:03:11 +0100 | wenzelm | improved 'notes', including proper treatment of locale results; | changeset | files |
| Fri, 27 Jan 2006 19:03:10 +0100 | wenzelm | swapped Toplevel.theory_context; | changeset | files |
| Fri, 27 Jan 2006 19:03:09 +0100 | wenzelm | Locale.init; | changeset | files |
| Fri, 27 Jan 2006 19:03:08 +0100 | wenzelm | renamed gen_list to enum; | changeset | files |