| Sun, 29 Jul 2007 22:41:59 +0200 | wenzelm | more informative tracing; | changeset | files |
| Sun, 29 Jul 2007 22:41:58 +0200 | wenzelm | load_thy: avoid reloading of text; | changeset | files |
| Sun, 29 Jul 2007 22:41:55 +0200 | wenzelm | added of_list_limited (with limit argument); | changeset | files |