Mon, 15 Aug 2011 21:54:32 +0200 touch descendants of edited nodes;
wenzelm [Mon, 15 Aug 2011 21:54:32 +0200] rev 44202
touch descendants of edited nodes; more precise handling of Graph exceptions;
Mon, 15 Aug 2011 21:05:30 +0200 parellel scheduling of node edits and execution;
wenzelm [Mon, 15 Aug 2011 21:05:30 +0200] rev 44201
parellel scheduling of node edits and execution;
Mon, 15 Aug 2011 20:38:16 +0200 tuned error message;
wenzelm [Mon, 15 Aug 2011 20:38:16 +0200] rev 44200
tuned error message;
Mon, 15 Aug 2011 20:19:41 +0200 retrieve imports from document state, with fall-back on theory loader for preloaded theories;
wenzelm [Mon, 15 Aug 2011 20:19:41 +0200] rev 44199
retrieve imports from document state, with fall-back on theory loader for preloaded theories; misc tuning;
Mon, 15 Aug 2011 19:27:55 +0200 explicit check of finished evaluation;
wenzelm [Mon, 15 Aug 2011 19:27:55 +0200] rev 44198
explicit check of finished evaluation;
Mon, 15 Aug 2011 16:38:42 +0200 refined Document.edit: less stateful update via Graph.schedule;
wenzelm [Mon, 15 Aug 2011 16:38:42 +0200] rev 44197
refined Document.edit: less stateful update via Graph.schedule; clarified node result -- more direct get_theory; clarified Document.joint_commands;
Mon, 15 Aug 2011 14:54:36 +0200 simplified exec: eliminated unused status flag;
wenzelm [Mon, 15 Aug 2011 14:54:36 +0200] rev 44196
simplified exec: eliminated unused status flag;
Sun, 14 Aug 2011 08:45:38 -0700 consistently use variable name 'F' for filters
huffman [Sun, 14 Aug 2011 08:45:38 -0700] rev 44195
consistently use variable name 'F' for filters
Sun, 14 Aug 2011 07:54:24 -0700 generalize lemmas about LIM and LIMSEQ to tendsto
huffman [Sun, 14 Aug 2011 07:54:24 -0700] rev 44194
generalize lemmas about LIM and LIMSEQ to tendsto
Sat, 13 Aug 2011 18:10:14 -0700 HOL-Nominal-Examples: respect distinction between sets and functions
huffman [Sat, 13 Aug 2011 18:10:14 -0700] rev 44193
HOL-Nominal-Examples: respect distinction between sets and functions
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip