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/polyml/build
2015-09-16
wenzelm
updated to polyml-5.5.3-20150916 (polyml git version cb1b36caa242);
file
|
diff
|
annotate
2015-09-10
wenzelm
Unicode is standard in Poly/ML repository version;
file
|
diff
|
annotate
2015-09-08
wenzelm
updated to polyml-5.5.3-20150908, with support for x86_64-windows and Unicode file-names;
file
|
diff
|
annotate
2015-08-31
wenzelm
support x86_64-windows;
file
|
diff
|
annotate
2015-08-19
wenzelm
clarified x86-windows setup;
file
|
diff
|
annotate
2015-08-18
wenzelm
example options;
file
|
diff
|
annotate
2015-08-18
wenzelm
include libgmp;
file
|
diff
|
annotate
2015-08-17
wenzelm
more complete build;
file
|
diff
|
annotate
2015-08-17
wenzelm
support for native x86-windows via MinGW32;
file
|
diff
|
annotate
2014-05-14
wenzelm
updated to polyml-5.5.2;
file
|
diff
|
annotate
2013-01-21
wenzelm
better apply peflags at build time, to avoid antivirus getting nervous about changing executables;
file
|
diff
|
annotate
2012-04-25
wenzelm
mingw is windows (still inactive);
file
|
diff
|
annotate
2012-04-13
wenzelm
minimal support for x86-mingw;
file
|
diff
|
annotate
2012-03-12
wenzelm
updated polyml/build option to prefer included libffi;
file
|
diff
|
annotate
2010-09-22
wenzelm
make compiler doubly sure;
file
|
diff
|
annotate
2010-08-20
wenzelm
reactivated -segprot options, just to make double-sure;
file
|
diff
|
annotate
2010-08-17
wenzelm
pro-forma support for further platforms;
file
|
diff
|
annotate
2010-08-17
wenzelm
multi-platform build script for Poly/ML;
file
|
diff
|
annotate
less
more
(0)
tip