isabelle: Changelog

wenzelm [Wed, 08 Aug 2007 23:07:47 +0200] rev 24188

load_thy: try_ml_file unconditionally;

wenzelm [Wed, 08 Aug 2007 23:07:46 +0200] rev 24187

* Theory loader: old-style ML proof scripts are considered a legacy feature;

wenzelm [Wed, 08 Aug 2007 20:48:08 +0200] rev 24186

check_deps: really do reload the master text if required; load_thy: more robust check of corrupted deps; require_thy: outdate_thy if required; tuned;

aspinall [Wed, 08 Aug 2007 20:03:17 +0200] rev 24185

Useful abbreviation of isatool commands used by Eclipse

wenzelm [Wed, 08 Aug 2007 16:40:20 +0200] rev 24184

thread-safeness: when creating certified items, perform Theory.check_thy *last*; tuned datatype proof;

paulson [Wed, 08 Aug 2007 14:00:09 +0200] rev 24183

Code to undo the function ascii_of

isabelle