Thu, 05 Aug 2010 16:58:18 +0200 explicit Change.Snapshot and Document.Node;
wenzelm [Thu, 05 Aug 2010 16:58:18 +0200] rev 38151
explicit Change.Snapshot and Document.Node; misc tuning and clarification; Document_View: explicitly highlight outdated command status;
Thu, 05 Aug 2010 14:35:35 +0200 simplified/refined document model: collection of named nodes, without proper dependencies yet;
wenzelm [Thu, 05 Aug 2010 14:35:35 +0200] rev 38150
simplified/refined document model: collection of named nodes, without proper dependencies yet; moved basic type definitions for ids and edits from Isar_Document to Document; removed begin_document/end_document for now -- nodes emerge via edits; edits refer to named nodes explicitly;
Thu, 05 Aug 2010 13:41:00 +0200 somewhat uniform Thy_Header.split_thy_path in ML and Scala;
wenzelm [Thu, 05 Aug 2010 13:41:00 +0200] rev 38149
somewhat uniform Thy_Header.split_thy_path in ML and Scala;
Wed, 04 Aug 2010 16:28:45 +0200 uniform naming of imports (source specification) vs. parents (thy node names) vs. parent_thys (theory values);
wenzelm [Wed, 04 Aug 2010 16:28:45 +0200] rev 38148
uniform naming of imports (source specification) vs. parents (thy node names) vs. parent_thys (theory values);
Wed, 04 Aug 2010 16:11:51 +0200 load_thy/after_load: explicit check of parent theories, which might have failed to join proofs -- avoid uninformative crash via Graph.UNDEF;
wenzelm [Wed, 04 Aug 2010 16:11:51 +0200] rev 38147
load_thy/after_load: explicit check of parent theories, which might have failed to join proofs -- avoid uninformative crash via Graph.UNDEF;
Wed, 04 Aug 2010 15:50:55 +0200 export use_thys_wrt;
wenzelm [Wed, 04 Aug 2010 15:50:55 +0200] rev 38146
export use_thys_wrt;
Wed, 04 Aug 2010 15:45:49 +0200 more precise CRITICAL sections, using NAMED_CRITICAL uniformly;
wenzelm [Wed, 04 Aug 2010 15:45:49 +0200] rev 38145
more precise CRITICAL sections, using NAMED_CRITICAL uniformly;
Wed, 04 Aug 2010 15:14:48 +0200 updated to Netbeans 6.9;
wenzelm [Wed, 04 Aug 2010 15:14:48 +0200] rev 38144
updated to Netbeans 6.9;
Wed, 04 Aug 2010 14:46:17 +0200 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;
wenzelm [Wed, 04 Aug 2010 14:46:17 +0200] rev 38143
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;
Tue, 03 Aug 2010 22:28:43 +0200 more precise CRITICAL sections;
wenzelm [Tue, 03 Aug 2010 22:28:43 +0200] rev 38142
more precise CRITICAL sections; tuned;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip