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);
wenzelm [Sun, 26 Feb 2012 19:20:46 +0100] rev 47558
more PIDE modules;
wenzelm [Sun, 26 Feb 2012 18:26:26 +0100] rev 47557
tuned proofs;