Thu, 27 Jan 2011 17:37:42 +0100 Added tag isa2011-test3 for changeset 55a45051b220
wenzelm [Thu, 27 Jan 2011 17:37:42 +0100] rev 41638
Added tag isa2011-test3 for changeset 55a45051b220
Thu, 27 Jan 2011 16:31:03 +0100 Tuned definition of sdiv.
berghofe [Thu, 27 Jan 2011 16:31:03 +0100] rev 41637
Tuned definition of sdiv.
Thu, 27 Jan 2011 16:24:29 +0100 CRITICAL markup for critical poking with unsynchronized references;
wenzelm [Thu, 27 Jan 2011 16:24:29 +0100] rev 41636
CRITICAL markup for critical poking with unsynchronized references;
Wed, 26 Jan 2011 20:51:09 +0100 Replaced smod by standard mod operator to reflect actual behaviour
berghofe [Wed, 26 Jan 2011 20:51:09 +0100] rev 41635
Replaced smod by standard mod operator to reflect actual behaviour of the SPARK tools.
Thu, 27 Jan 2011 12:24:00 +0100 cancel document execution before editing, to improve reactivity on systems with few cores;
wenzelm [Thu, 27 Jan 2011 12:24:00 +0100] rev 41634
cancel document execution before editing, to improve reactivity on systems with few cores;
Tue, 25 Jan 2011 22:59:03 +0100 tuned isatest settings (for Poly/ML SVN 1278);
wenzelm [Tue, 25 Jan 2011 22:59:03 +0100] rev 41633
tuned isatest settings (for Poly/ML SVN 1278);
Tue, 25 Jan 2011 22:15:03 +0100 merged
wenzelm [Tue, 25 Jan 2011 22:15:03 +0100] rev 41632
merged
Tue, 25 Jan 2011 14:06:43 +0100 do not restore old files on startup, which is potentially slow due to automatic rechecking;
wenzelm [Tue, 25 Jan 2011 14:06:43 +0100] rev 41631
do not restore old files on startup, which is potentially slow due to automatic rechecking; attempt to enable thick caret for improved visibility;
Tue, 25 Jan 2011 21:26:25 +0100 singleton (sequential) execution, to avoid race conditions in theory loader state (e.g. when multiple independent theories import the same theory);
wenzelm [Tue, 25 Jan 2011 21:26:25 +0100] rev 41630
singleton (sequential) execution, to avoid race conditions in theory loader state (e.g. when multiple independent theories import the same theory);
Tue, 25 Jan 2011 20:06:32 +0100 workaround for odd x86_64 problem in Poly/ML 5.4.0 (actually SVN 1151?), which causes unexpected nontermination of Isabelle/Scala document editing;
wenzelm [Tue, 25 Jan 2011 20:06:32 +0100] rev 41629
workaround for odd x86_64 problem in Poly/ML 5.4.0 (actually SVN 1151?), which causes unexpected nontermination of Isabelle/Scala document editing;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip