src/HOL/Matrix/Compute_Oracle/am_ghc.ML
2011-07-16 wenzelm 2011-07-16 moved bash operations to Isabelle_System (cf. Scala version);
2011-06-30 wenzelm 2011-06-30 standardized use of Path operations;
2011-03-13 wenzelm 2011-03-13 tuned headers;
2011-03-13 wenzelm 2011-03-13 slightly more robust bash exec, which fails on empty executable;
2011-03-13 wenzelm 2011-03-13 cleanup of former settings GHC_PATH, EXEC_GHC, EXEC_OCAML, EXEC_SWIPL, EXEC_YAP -- discontinued implicit detection; determine swipl_version at runtime;
2011-01-10 wenzelm 2011-01-10 eliminated Int.toString;
2011-01-10 wenzelm 2011-01-10 eliminated obsolete LargeInt -- Int is unbounded;
2010-07-21 wenzelm 2010-07-21 moved src/Tools/Compute_Oracle to src/HOL/Matrix/Compute_Oracle -- it actually depends on HOL anyway;