isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 +30000 tip

somewhat uniform Thy_Header.split_thy_path in ML and Scala;
2010-08-05, by wenzelm
uniform naming of imports (source specification) vs. parents (thy node names) vs. parent_thys (theory values);
2010-08-04, by wenzelm
load_thy/after_load: explicit check of parent theories, which might have failed to join proofs -- avoid uninformative crash via Graph.UNDEF;
2010-08-04, by wenzelm
export use_thys_wrt;
2010-08-04, by wenzelm
more precise CRITICAL sections, using NAMED_CRITICAL uniformly;
2010-08-04, by wenzelm
updated to Netbeans 6.9;
2010-08-04, by wenzelm
schedule_futures: discontinued special treatment of non-parallel proofs, which might have affected memory usage at some point, but does not seem to make a difference with as little as 2GB RAM;
2010-08-04, by wenzelm
more precise CRITICAL sections;
2010-08-03, by wenzelm
removed unused Update_Time data (cf. ac94ff28e9e1);
2010-08-03, by wenzelm
modernized specifications;
2010-08-03, by wenzelm
eliminated Thy_Info.thy_ord, which is not really stable in interactive mode, since it depends on the somewhat accidental load order;
2010-08-03, by wenzelm
find_and_undo: no need to kill_thy again -- Thy_Info.toplevel_begin_theory does that initially (cf. 3ceccd415145);
2010-08-03, by wenzelm
renamed funny Library ROOT files back to default ROOT.ML -- ML files are no longer located via implicit load path (cf. 2b9bfa0b44f1);
2010-08-03, by wenzelm
tuned headers -- more precise load path;
2010-08-03, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle