Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Admin/isatest/settings/at-sml-dev-e
2013-09-16
wenzelm
updated to smlnj 110.76;
file
|
diff
|
annotate
2012-12-31
wenzelm
updated to smlnj-110.75;
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-08-08
wenzelm
updated ML settings;
file
|
diff
|
annotate
2012-07-31
wenzelm
updated isatest settings for isabelle build;
file
|
diff
|
annotate
2011-09-18
wenzelm
updated to SML/NJ 110.73;
file
|
diff
|
annotate
2011-03-14
wenzelm
isatest: fresh copy of settings avoids odd cumulative environment;
file
|
diff
|
annotate
2011-02-08
wenzelm
some shuffling of isatest settings, to ensure coverage of polyml-5.2.1, polyml-5.3.0, polyml-5.4.0, polyml-5.4.1 (SVN), smlnj/110.72;
file
|
diff
|
annotate
2010-02-10
wenzelm
unset KODKODI explicitly -- apparently isatest patches settings cumulatively;
file
|
diff
|
annotate
2010-01-04
wenzelm
discontinued special HOL_USEDIR_OPTIONS;
file
|
diff
|
annotate
2009-11-07
wenzelm
tuned ML_OPTIONS for SML/NJ -- for improved performance;
file
|
diff
|
annotate
2009-05-31
wenzelm
uniform treatment of shellscript mode;
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
2008-01-14
isatest
make at-sml-dev experimental
file
|
diff
|
annotate
less
more
(0)
tip