| Fri, 27 Jan 2006 19:03:13 +0100 | wenzelm | renamed reverse_atomize to unatomize; | changeset | files |
| Fri, 27 Jan 2006 19:03:12 +0100 | wenzelm | init: include view; | changeset | files |
| 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 |