Fri, 10 Feb 2012 23:36:02 +0100 |
haftmann |
dropped whitespace
|
file |
diff |
annotate
|
Fri, 10 Feb 2012 23:23:41 +0100 |
haftmann |
dropped dead code
|
file |
diff |
annotate
|
Fri, 10 Feb 2012 23:12:57 +0100 |
haftmann |
dropped dead code
|
file |
diff |
annotate
|
Fri, 10 Feb 2012 22:51:21 +0100 |
haftmann |
dropped dead code
|
file |
diff |
annotate
|
Sat, 16 Jul 2011 20:52:41 +0200 |
wenzelm |
moved bash operations to Isabelle_System (cf. Scala version);
|
file |
diff |
annotate
|
Thu, 30 Jun 2011 13:21:41 +0200 |
wenzelm |
standardized use of Path operations;
|
file |
diff |
annotate
|
Sun, 13 Mar 2011 22:55:50 +0100 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
Sun, 13 Mar 2011 19:27:39 +0100 |
wenzelm |
slightly more robust bash exec, which fails on empty executable;
|
file |
diff |
annotate
|
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
|
Mon, 10 Jan 2011 15:45:46 +0100 |
wenzelm |
eliminated Int.toString;
|
file |
diff |
annotate
|
Mon, 10 Jan 2011 15:30:17 +0100 |
wenzelm |
eliminated obsolete LargeInt -- Int is unbounded;
|
file |
diff |
annotate
|
Wed, 21 Jul 2010 15:44:36 +0200 |
wenzelm |
moved src/Tools/Compute_Oracle to src/HOL/Matrix/Compute_Oracle -- it actually depends on HOL anyway;
|
file |
diff |
annotate
| base
|