| Thu, 01 Sep 2011 23:08:42 +0200 | wenzelm | amended last_common, if that happens to the very last entry (important to load HOL/Auth, for example); | changeset | files |
| Thu, 01 Sep 2011 22:29:57 +0200 | wenzelm | more redable Document.Node.toString; | changeset | files |
| Thu, 01 Sep 2011 16:58:41 +0200 | wenzelm | sort wrt. theory name; | changeset | files |
| Thu, 01 Sep 2011 16:58:03 +0200 | wenzelm | modernized theory name; | changeset | files |