src/Tools/Code/etc/settings
Mon, 15 Nov 2010 17:14:43 +0100 wenzelm more robust treatment of spaces in file names;
Wed, 29 Sep 2010 09:21:26 +0200 haftmann platform-sensitive contrib paths for ghc, ocaml
Thu, 08 Jul 2010 16:20:03 +0200 haftmann empty default
Fri, 02 Jul 2010 17:27:44 +0200 haftmann references to ghc and ocaml
Tue, 01 Sep 2009 16:39:05 +0200 haftmann code generator is now a separate component
less more (0) tip