| Sun, 29 Jul 2007 22:42:02 +0200 | wenzelm | deps: keep thy source text, avoid reloading; | changeset | files |
| Sun, 29 Jul 2007 22:42:00 +0200 | wenzelm | adapted ThyLoad.deps_thy; | changeset | files |
| 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 |
| Sun, 29 Jul 2007 19:46:04 +0200 | wenzelm | more informative tracing; | changeset | files |
| Sun, 29 Jul 2007 19:46:03 +0200 | wenzelm | explicit global state argument -- no longer CRITICAL; | changeset | files |