Thu, 27 May 2010 21:14:53 +0200 substantial performance improvement by avoiding "re-ified" execution structure via future dependencies, instead use singleton execution (dummy future) that forces lazy state updates bottom-up;
wenzelm [Thu, 27 May 2010 21:14:53 +0200] rev 37148
substantial performance improvement by avoiding "re-ified" execution structure via future dependencies, instead use singleton execution (dummy future) that forces lazy state updates bottom-up; tuned;
Thu, 27 May 2010 20:15:36 +0200 further formal thread-safety (follow-up to 88300168baf8) -- in practice there is only a single Isar toplevel loop, but this is not enforced;
wenzelm [Thu, 27 May 2010 20:15:36 +0200] rev 37147
further formal thread-safety (follow-up to 88300168baf8) -- in practice there is only a single Isar toplevel loop, but this is not enforced;
Thu, 27 May 2010 18:10:37 +0200 renamed structure PrintMode to Print_Mode, keeping the old name as legacy alias for some time;
wenzelm [Thu, 27 May 2010 18:10:37 +0200] rev 37146
renamed structure PrintMode to Print_Mode, keeping the old name as legacy alias for some time;
Thu, 27 May 2010 17:41:27 +0200 renamed structure TypeInfer to Type_Infer, keeping the old name as legacy alias for some time;
wenzelm [Thu, 27 May 2010 17:41:27 +0200] rev 37145
renamed structure TypeInfer to Type_Infer, keeping the old name as legacy alias for some time;
Thu, 27 May 2010 15:28:23 +0200 misc updates for release;
wenzelm [Thu, 27 May 2010 15:28:23 +0200] rev 37144
misc updates for release;
Thu, 27 May 2010 15:15:20 +0200 constant Rat.normalize needs to be qualified;
wenzelm [Thu, 27 May 2010 15:15:20 +0200] rev 37143
constant Rat.normalize needs to be qualified;
Thu, 27 May 2010 13:13:30 +0200 merged
wenzelm [Thu, 27 May 2010 13:13:30 +0200] rev 37142
merged
Thu, 27 May 2010 08:02:02 +0200 merged
haftmann [Thu, 27 May 2010 08:02:02 +0200] rev 37141
merged
Wed, 26 May 2010 16:44:57 +0200 dropped legacy theorem bindings
haftmann [Wed, 26 May 2010 16:44:57 +0200] rev 37140
dropped legacy theorem bindings
Wed, 26 May 2010 16:31:44 +0200 dropped legacy theorem bindings
haftmann [Wed, 26 May 2010 16:31:44 +0200] rev 37139
dropped legacy theorem bindings
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip