| 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; | file | diff | annotate |
| Wed, 02 Feb 2011 13:53:06 +0100 | bulwahn | making the bash script swipl_version closer to Isabelle's conventional bash scripts | file | diff | annotate |
| Mon, 20 Dec 2010 15:19:15 +0100 | wenzelm | tuned/clarified some component settings; | file | diff | annotate |
| Thu, 28 Oct 2010 17:28:45 +0200 | bulwahn | adding a simple check to only run with a SWI-Prolog version known to work | file | diff | annotate |