src/Tools/Code/etc/settings
Sun, 13 Mar 2011 19:16:19 +0100 wenzelm cleanup of former settings GHC_PATH, EXEC_GHC, EXEC_OCAML, EXEC_SWIPL, EXEC_YAP -- discontinued implicit detection;
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