Mon, 17 Jan 2011 16:57:24 +0100 keep Proof General 4.0 and 3.7.1.1 for now;
wenzelm [Mon, 17 Jan 2011 16:57:24 +0100] rev 41598
keep Proof General 4.0 and 3.7.1.1 for now;
Sun, 16 Jan 2011 21:10:30 +0100 tuned;
wenzelm [Sun, 16 Jan 2011 21:10:30 +0100] rev 41597
tuned;
Sun, 16 Jan 2011 21:05:10 +0100 misc updates for release;
wenzelm [Sun, 16 Jan 2011 21:05:10 +0100] rev 41596
misc updates for release;
Sun, 16 Jan 2011 20:55:48 +0100 tuned;
wenzelm [Sun, 16 Jan 2011 20:55:48 +0100] rev 41595
tuned;
Sun, 16 Jan 2011 20:54:30 +0100 misc tuning for release;
wenzelm [Sun, 16 Jan 2011 20:54:30 +0100] rev 41594
misc tuning for release;
Sun, 16 Jan 2011 19:45:42 +0100 merged
wenzelm [Sun, 16 Jan 2011 19:45:42 +0100] rev 41593
merged
Sun, 16 Jan 2011 17:21:13 +0100 Tuned show_status
berghofe [Sun, 16 Jan 2011 17:21:13 +0100] rev 41592
Tuned show_status
Sun, 16 Jan 2011 19:44:59 +0100 proper type variables with sorts;
wenzelm [Sun, 16 Jan 2011 19:44:59 +0100] rev 41591
proper type variables with sorts;
Sun, 16 Jan 2011 17:01:49 +0100 non-executable sources;
wenzelm [Sun, 16 Jan 2011 17:01:49 +0100] rev 41590
non-executable sources;
Sun, 16 Jan 2011 15:53:03 +0100 tuned headers;
wenzelm [Sun, 16 Jan 2011 15:53:03 +0100] rev 41589
tuned headers;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip