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/INSTALL-MinGW
changeset 80144 cfe18c31725c
parent 77577 f78286d2e30f
child 80145 0eff7d113549 
--- a/Admin/polyml/INSTALL-MinGW	Tue Apr 23 10:26:04 2024 +0100
+++ b/Admin/polyml/INSTALL-MinGW	Tue Apr 23 15:56:04 2024 +0200
@@ -17,5 +17,4 @@
 - build (as regular user) e.g. on vmnipkow9 with Cygwin-Terminal from Isabelle2018
   (to avoid address relocation problems):
 
-    isabelle component_polyml -M /cygdrive/c/msys64 -m32 -s sha1 src
-    isabelle component_polyml -M /cygdrive/c/msys64 -m64 -s sha1 src
+    isabelle component_polyml -M /cygdrive/c/msys64
isabelle