isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

Admin/isatest/settings/mac-poly-M4

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-08-08	wenzelm	updated ML settings;	file \| diff \| annotate
2012-07-31	wenzelm	updated isatest settings for isabelle build;	file \| diff \| annotate
2012-04-19	wenzelm	back to isatest with official polyml-5.4.1 (cf. ffa6e10df091);	file \| diff \| annotate
2012-04-14	wenzelm	more ambitious isatest settings using polyml-svn (e.g. 1487);	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-12-18	wenzelm	tuned settings;	file \| diff \| annotate
2010-12-20	wenzelm	updated to polyml-5.4.0;	file \| diff \| annotate
2010-06-04	wenzelm	less ambitious settings;	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-11-09	wenzelm	switched some isatest sessions to official Poly/ML 5.3.0;	file \| diff \| annotate
2009-10-30	wenzelm	back to polyml-svn -- performance impact is minimal, slowdown was caused by accumulated cruft of long-running Mac OS;	file \| diff \| annotate
2009-10-25	wenzelm	more uniform ISABELLE_USEDIR_OPTIONS;	file \| diff \| annotate
2009-10-25	wenzelm	switch to polyml-5.2.1 to see if it impacts performance;	file \| diff \| annotate
2009-07-30	wenzelm	ISABELLE_USEDIR_OPTIONS: -q 2 by default;	file \| diff \| annotate
2009-07-25	wenzelm	internal session timing;	file \| diff \| annotate
2009-07-23	wenzelm	tuned ML_OPTIONS;	file \| diff \| annotate
2009-07-22	wenzelm	less ambitious settings;	file \| diff \| annotate
2009-07-21	wenzelm	less ambitious ML_OPTIONS;	file \| diff \| annotate
2009-07-20	wenzelm	replaced usedir option -Q by more fine-grained -q;	file \| diff \| annotate
2009-06-13	wenzelm	proper ISABELLE_HOME_USER;	file \| diff \| annotate
2009-06-12	wenzelm	more isatests;	file \| diff \| annotate

less more (0) tip

isabelle

RSS Atom