Sat, 04 Feb 2012 07:40:02 +0100 bulwahn using fully qualified module names in Haskell source, which seems to be required by GHC 7.0.4 (also cf. 0fd9ab902b5a)
Fri, 03 Feb 2012 18:00:55 +0100 blanchet optimization: slice caching in case two consecutive slices are nearly identical
Fri, 03 Feb 2012 18:00:55 +0100 blanchet extended SPASS/DFG output with ranks
Fri, 03 Feb 2012 18:00:55 +0100 blanchet try to pass fewer options to Metis
Fri, 03 Feb 2012 15:51:10 +0100 Cezary Kaliszyk Quotient FSet: Add compositional respectfulness and preservation for map and lift map_concat
Thu, 02 Feb 2012 19:41:58 +0100 blanchet improve SPASS scripts
Thu, 02 Feb 2012 15:14:18 +0100 blanchet change 9ce354a77908 wasn't quite right -- here's an improvement
Thu, 02 Feb 2012 12:51:03 +0100 blanchet better SPASS setup
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip