Tue, 03 Mar 2009 21:53:52 +0100 eliminated internal stamp equality, replaced by bare-metal pointer_eq;
wenzelm [Tue, 03 Mar 2009 21:53:52 +0100] rev 30233
eliminated internal stamp equality, replaced by bare-metal pointer_eq; misc tuning and polishing;
Tue, 03 Mar 2009 21:49:34 +0100 tuned str_of, now subject to verbose flag;
wenzelm [Tue, 03 Mar 2009 21:49:34 +0100] rev 30232
tuned str_of, now subject to verbose flag;
Tue, 03 Mar 2009 21:49:05 +0100 added @{binding} ML antiquotations;
wenzelm [Tue, 03 Mar 2009 21:49:05 +0100] rev 30231
added @{binding} ML antiquotations;
Tue, 03 Mar 2009 21:48:40 +0100 added print_properties, print_position (again);
wenzelm [Tue, 03 Mar 2009 21:48:40 +0100] rev 30230
added print_properties, print_position (again);
Tue, 03 Mar 2009 19:30:43 +0100 merged
wenzelm [Tue, 03 Mar 2009 19:30:43 +0100] rev 30229
merged
Tue, 03 Mar 2009 19:21:10 +0100 merged
haftmann [Tue, 03 Mar 2009 19:21:10 +0100] rev 30228
merged
Tue, 03 Mar 2009 13:20:53 +0100 tuned manuals
haftmann [Tue, 03 Mar 2009 13:20:53 +0100] rev 30227
tuned manuals
Tue, 03 Mar 2009 11:00:51 +0100 more canonical directory structure of manuals
haftmann [Tue, 03 Mar 2009 11:00:51 +0100] rev 30226
more canonical directory structure of manuals
Tue, 03 Mar 2009 18:33:21 +0100 merged
wenzelm [Tue, 03 Mar 2009 18:33:21 +0100] rev 30225
merged
Tue, 03 Mar 2009 17:05:18 +0100 removed and renamed redundant lemmas
nipkow [Tue, 03 Mar 2009 17:05:18 +0100] rev 30224
removed and renamed redundant lemmas
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip