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.
obsolete;
authorwenzelm
Tue, 05 Jan 2021 21:47:36 +0100
changeset 73071 f996348d28ee
parent 73070 7ef8d77ee761
child 73072 7460f92d63fc
obsolete;
Admin/MacOS/README file | annotate | diff | comparison | revisions
Admin/components/bundled-macos file | annotate | diff | comparison | revisions 
--- a/Admin/MacOS/README	Tue Jan 05 21:46:35 2021 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,7 +0,0 @@
-Isabelle/JVM application bundle for macOS
-=========================================
-
-* http://java.net/projects/appbundler
-
-  - see appbundler-1.0.jar
-  - see com/oracle/appbundler/JavaAppLauncher
--- a/Admin/components/bundled-macos	Tue Jan 05 21:46:35 2021 +0100
+++ b/Admin/components/bundled-macos	Tue Jan 05 21:47:36 2021 +0100
@@ -1,2 +1,1 @@
 #additional components to be bundled for release
-macos_app-20181208
isabelle