Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified application init;
  2. recovered bundle icons (not application) from macos_app;
  3. proper app directory setup, without macos_app component;
  4. more robust;
  5. prefer official Java 9 operations;
  6. obsolete;
  7. proper dock icon for macOS;
  8. proper isabelle_home_prefix; proper isabelle_options, with link;
  9. discontinued macOS JavaAppLauncher: re-use plain shell script; more uniform java_options for all platforms;
  10. tuned whitespace;
  11. tuned -- generate Info.plist in Isabelle/Scala;
  12. tuned signature;
  13. tuned signature;
  14. updated according to ~~/etc/settings; tuned;
  15. more portable component setup;
  16. clarified quotes;
  17. tuned -- generate script by Isabelle/Scala;
  18. proper treatment of XML.Wrapped_Elem, e.g. Markup.class_parameter;
  19. proper theory name, e.g. for HTML/PIDE presentation;
  20. more robust and permissive;
  21. present theory using PIDE markup;
  22. clarified signature;
  23. tuned signature;
  24. tuned
  25. HOL-Library.Multiset: new notation for prod_mset, consistent with sum_mset
Changeset 73076:d44552bf310f by wenzelm:
clarified application init;
The file was modified src/Pure/Tools/main.scala (diff)
The file was modified src/Tools/jEdit/src-base/plugin.scala (diff)
Changeset 73075:893310d6d76d by wenzelm:
recovered bundle icons (not application) from macos_app;
The file was addedlib/logo/isabelle.icns
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 73074:e8b8e9a6330f by wenzelm:
proper app directory setup, without macos_app component;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 73073:a1d4c9f5207a by wenzelm:
more robust;
The file was modified src/Pure/GUI/gui.scala (diff)
Changeset 73072:7460f92d63fc by wenzelm:
prefer official Java 9 operations;
The file was modified src/Pure/GUI/gui.scala (diff)
Changeset 73071:f996348d28ee by wenzelm:
obsolete;
The file was modified Admin/components/bundled-macos (diff)
The file was removedAdmin/MacOS/README
Changeset 73070:7ef8d77ee761 by wenzelm:
proper dock icon for macOS;
The file was addedlib/logo/isabelle_transparent-128.png
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/GUI/gui.scala (diff)
The file was modified src/Tools/jEdit/src-base/plugin.scala (diff)
Changeset 73069:8d9fb810462b by wenzelm:
proper isabelle_home_prefix;<br>proper isabelle_options, with link;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 73068:a95f5ae5a12a by wenzelm:
discontinued macOS JavaAppLauncher: re-use plain shell script;<br>more uniform java_options for all platforms;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 73067:d045d900a929 by wenzelm:
tuned whitespace;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 73066:27f79e7eb356 by wenzelm:
tuned -- generate Info.plist in Isabelle/Scala;
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was removedAdmin/MacOS/Info.plist
Changeset 73065:dd68f20d4041 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 73064:21af3a90d194 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 73063:f0180048d5ff by wenzelm:
updated according to ~~/etc/settings;<br>tuned;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 73062:0b0c651e823f by wenzelm:
more portable component setup;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 73061:abaff6fb0ff2 by wenzelm:
clarified quotes;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 73060:4b620e1cb1e9 by wenzelm:
tuned -- generate script by Isabelle/Scala;
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was removedAdmin/Linux/Isabelle_app
Changeset 73059:523806d71dea by wenzelm:
proper treatment of XML.Wrapped_Elem, e.g. Markup.class_parameter;
The file was modified src/Pure/Thy/presentation.scala (diff)
Changeset 73058:32618ae1b65d by wenzelm:
proper theory name, e.g. for HTML/PIDE presentation;
The file was modified src/Pure/theory.ML (diff)
Changeset 73057:45a34cc581b8 by wenzelm:
more robust and permissive;
The file was modified src/Pure/Thy/presentation.scala (diff)
Changeset 73056:696819fe2424 by wenzelm:
present theory using PIDE markup;
The file was modified src/Pure/Thy/presentation.scala (diff)
Changeset 73055:3e4df2e689ff by wenzelm:
clarified signature;
The file was modified src/Pure/Thy/presentation.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Tools/VSCode/src/preview_panel.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 73054:517b17e54d28 by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/presentation.scala (diff)
Changeset 73053:2138a4a9031a by nipkow:
tuned
The file was modified src/HOL/Data_Structures/Binomial_Heap.thy (diff)
Changeset 73052:c03a148110cc by manuel eberl _eberlm@in.tum.de_:
HOL-Library.Multiset: new notation for prod_mset, consistent with sum_mset
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)