| 2016-03-03 |
wenzelm |
discontinued polyml-5.3.0;
|
file |
diff |
annotate
|
| 2014-11-02 |
wenzelm |
less ambitious isatest: polyml-5.3.0 has problems with big sessions like HOL-Proofs;
|
file |
diff |
annotate
|
| 2014-10-28 |
wenzelm |
increase chances that HOL-Proofs image still works for polyml-5.3.0;
|
file |
diff |
annotate
|
| 2014-10-27 |
wenzelm |
increase chances that HOL-Proofs image still works for polyml-5.3.0;
|
file |
diff |
annotate
|
| 2014-09-25 |
wenzelm |
more isatests (on lxbroy4);
|
file |
diff |
annotate
|
| 2014-07-15 |
kleing |
add ISABELLE_GHC settings for isatest
|
file |
diff |
annotate
|
| 2012-09-13 |
wenzelm |
more standard init_components -- particularly important to pick up correct jdk/scala version;
|
file |
diff |
annotate
|
| 2012-08-08 |
wenzelm |
eliminated obsolete ISABELLE_USEDIR_OPTIONS;
|
file |
diff |
annotate
|
| 2012-07-31 |
wenzelm |
updated isatest settings for isabelle build;
|
file |
diff |
annotate
|
| 2012-05-24 |
wenzelm |
discontinued support for Poly/ML 5.2.1;
|
file |
diff |
annotate
|
| 2012-04-25 |
wenzelm |
ISABELLE_JDK_HOME is already provided by isatest shell environment;
|
file |
diff |
annotate
|
| 2012-04-19 |
wenzelm |
test with jdk-7u3 that is also bundled;
|
file |
diff |
annotate
|
| 2012-04-03 |
wenzelm |
consider polyml-5.3.0 as "experimental" since it chokes on HOL-Codegenerator_Test, while 5.2.1 happens to work;
|
file |
diff |
annotate
|
| 2012-01-04 |
wenzelm |
prefer explicit version information;
|
file |
diff |
annotate
|
| 2012-01-03 |
blanchet |
reenable Kodkodi in Isatest now that Nitpick has been ported to 'a set constructor
|
file |
diff |
annotate
|
| 2011-12-28 |
wenzelm |
disable kodkodi for now to prevent isatest failure of HOL-Nitpick_Examples due to 'a set constructor;
|
file |
diff |
annotate
|
| 2011-03-13 |
wenzelm |
less ambitious isatest;
|
file |
diff |
annotate
|
| 2011-03-13 |
wenzelm |
cleanup of former settings GHC_PATH, EXEC_GHC, EXEC_OCAML, EXEC_SWIPL, EXEC_YAP -- discontinued implicit detection;
|
file |
diff |
annotate
|
| 2011-03-13 |
wenzelm |
isatest: test more external code;
|
file |
diff |
annotate
|
| 2011-02-08 |
wenzelm |
updated to polyml-5.3.0, which is presently known as the most robust version;
|
file |
diff |
annotate
|
| 2010-04-09 |
wenzelm |
isatest: more uniform setup for Unix vs. Cygwin;
|
file |
diff |
annotate
|
| 2010-02-09 |
wenzelm |
isatest: activated HOL-Nitpick_Examples (by adding component kodkodi) on some platforms where it mostly works as expected;
|
file |
diff |
annotate
|
| 2010-01-04 |
wenzelm |
discontinued special HOL_USEDIR_OPTIONS;
|
file |
diff |
annotate
|
| 2009-08-04 |
wenzelm |
options for more precise performance figures of at-poly, which happens to run on macbroy21;
|
file |
diff |
annotate
|
| 2009-05-31 |
wenzelm |
uniform treatment of shellscript mode;
|
file |
diff |
annotate
|
| 2008-06-03 |
wenzelm |
use polyml-5.2;
|
file |
diff |
annotate
|
| 2008-03-24 |
wenzelm |
replaced obsolete /usr/proj by /home;
|
file |
diff |
annotate
|
| 2008-03-06 |
wenzelm |
removed obsolete THIS_IS_ISABELLE_BUILD feature;
|
file |
diff |
annotate
|
| 2007-12-05 |
kleing |
switch at-poly main to poly 5.1
|
file |
diff |
annotate
|
| 2007-03-05 |
kleing |
additional settings for isatest runs on various platforms
|
file |
diff |
annotate
|