Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/polyml/settings
changeset 61136 168f84f45730
parent 60983 ff4a67c65084
child 61158 ea6a4c8bc722 
--- a/Admin/polyml/settings	Tue Sep 08 17:34:46 2015 +0200
+++ b/Admin/polyml/settings	Tue Sep 08 20:06:17 2015 +0200
@@ -40,6 +40,12 @@
 esac
 
 case "$ML_PLATFORM" in
+  x86_64-windows)
+    ML_OPTIONS="-H 1000 --codepage utf8"
+    ;;
+  x86-windows)
+    ML_OPTIONS="-H 500 --codepage utf8"
+    ;;
   x86_64-*)
     ML_OPTIONS="-H 1000"
     ;;
isabelle