| Wed, 08 Aug 2007 23:07:47 +0200 | wenzelm | load_thy: try_ml_file unconditionally; | changeset | files |
| Wed, 08 Aug 2007 23:07:46 +0200 | wenzelm | * Theory loader: old-style ML proof scripts are considered a legacy feature; | changeset | files |
| Wed, 08 Aug 2007 20:48:08 +0200 | wenzelm | check_deps: really do reload the master text if required; | changeset | files |
| Wed, 08 Aug 2007 20:03:17 +0200 | aspinall | Useful abbreviation of isatool commands used by Eclipse | changeset | files |
| Wed, 08 Aug 2007 16:40:20 +0200 | wenzelm | thread-safeness: when creating certified items, perform Theory.check_thy *last*; | changeset | files |
| Wed, 08 Aug 2007 14:00:09 +0200 | paulson | Code to undo the function ascii_of | changeset | files |