Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed junk (amending 236e43c8bb5b);
authorwenzelm
Sun, 26 Mar 2023 15:47:40 +0200
changeset 77715 27dd3a3fcc54
parent 77714 be0b9396604e
child 77716 3f4163b83d4f
removed junk (amending 236e43c8bb5b);
etc/options file | annotate | diff | comparison | revisions 
--- a/etc/options	Sun Mar 26 15:02:08 2023 +0200
+++ b/etc/options	Sun Mar 26 15:47:40 2023 +0200
@@ -168,7 +168,7 @@
 public option ML_system_64 : bool = false for build
   -- "prefer native 64bit platform (change requires restart)"
 
-public option ML_system_apple : bool = true for build#
+public option ML_system_apple : bool = true for build
   -- "prefer native Apple/ARM64 platform (change requires restart)"
isabelle