src/Tools/Code/code_haskell.ML
Sun, 23 Feb 2014 10:33:43 +0100 haftmann more fine-grain notion of export
Sun, 23 Feb 2014 10:33:43 +0100 haftmann formal markup for public ingredients
Sun, 09 Feb 2014 21:37:27 +0100 haftmann restoring ancient string_classes option
Sun, 09 Feb 2014 21:37:27 +0100 haftmann method names in instance declarations are always unqualified
less more (0) -100 -30 -10 -4 tip