2011-03-13 wenzelm files are identified via SHA1 digests -- discontinued ISABELLE_FILE_IDENT;
2011-03-13 wenzelm explicit type SHA1.digest;
2011-03-13 wenzelm slightly more robust bash exec, which fails on empty executable;
2011-03-13 wenzelm cleanup of former settings GHC_PATH, EXEC_GHC, EXEC_OCAML, EXEC_SWIPL, EXEC_YAP -- discontinued implicit detection;
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip