Mon, 15 Aug 2011 20:38:16 +0200 | wenzelm | tuned error message; | changeset | files |
Mon, 15 Aug 2011 20:19:41 +0200 | wenzelm | retrieve imports from document state, with fall-back on theory loader for preloaded theories; | changeset | files |
Mon, 15 Aug 2011 19:27:55 +0200 | wenzelm | explicit check of finished evaluation; | changeset | files |