bulwahn [Mon, 27 Feb 2012 10:56:36 +0100] rev 47568
removing Find_Unused_Assms_Examples from session as it requires much time
haftmann [Sun, 26 Feb 2012 21:44:12 +0100] rev 47567
restored accidental omission
haftmann [Sun, 26 Feb 2012 21:43:57 +0100] rev 47566
dropped dead code
haftmann [Sun, 26 Feb 2012 21:26:28 +0100] rev 47565
tuned structure
haftmann [Sun, 26 Feb 2012 21:25:54 +0100] rev 47564
retain syntax here
haftmann [Sun, 26 Feb 2012 20:43:33 +0100] rev 47563
tuned structure; dropped already existing syntax declarations
haftmann [Sun, 26 Feb 2012 20:10:14 +0100] rev 47562
tuned syntax declarations; tuned structure
wenzelm [Sun, 26 Feb 2012 20:08:12 +0100] rev 47561
merged
wenzelm [Sun, 26 Feb 2012 20:05:14 +0100] rev 47560
include warning messages in node status;
wenzelm [Sun, 26 Feb 2012 19:36:35 +0100] rev 47559
tuned signature (in accordance with ML);