Tue, 19 Jan 2010 18:53:34 +0000 Iain Williamson Fixing bug 1494 (tracecompiler whatlog) properly this time fix
Tue, 12 Jan 2010 10:50:54 +0000 Iain Williamson Catch up to 2.11.3 fix
Tue, 12 Jan 2010 10:47:39 +0000 Iain Williamson Bug 1494 - Trace compiler files not in whatlog - FIX and TESTS though UNTESTED fix
Tue, 26 Jan 2010 09:43:47 +0000 timothy murphy version 2.12.0 (candidate 3) 2.12.0
Mon, 25 Jan 2010 11:43:34 +0000 Richard Taylor catch up to 2.12.0 fix
Mon, 25 Jan 2010 10:55:15 +0000 Richard Taylor version 2.12.0 (candidate 2)
Mon, 25 Jan 2010 10:14:33 +0000 Richard Taylor merge from FCL
(0) -100 -30 -10 -7 +7 +10 +30 +100 +300 tip