Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned imports;
  2. merged
  3. clarified Isabelle/Java/Scala project setup;
  4. support for Isabelle setup in pure Java;
  5. tuned: prefer Java interfaces;
  6. clarified package: towards stand-alone setup;
  7. tuned;
  8. more direct java.home, according to current jdk directory layout;
  9. tuned;
  10. clarified modules; avoid initial use of _settings during init;
  11. tuned: prefer Java interfaces;
  12. tuned: prefer Java interfaces;
  13. clarified signature: prefer Java interfaces;
  14. clarified signature;
  15. clarified signature;
  16. proper usage;
  17. clarified modules;
  18. tuned;
  19. clarified modules (again): services require full Isabelle/Scala environment;
  20. clarified modules;
  21. updated to scala-2.13.6, with scala-xml 1.3.0 ~> 2.0.0;
  22. clarified environment (amending 9444489766a1);
  23. merged
  24. move code setup from Cardinality to separate theory
Changeset 73909:1d0d9772fff0 by wenzelm:
tuned imports;
The file was modified src/Pure/GUI/gui.scala (diff)
The file was modified src/Pure/General/file_watcher.scala (diff)
The file was modified src/Pure/General/ssh.scala (diff)
The file was modified src/Pure/System/isabelle_charset.scala (diff)
The file was modified src/Pure/Tools/spell_checker.scala (diff)
The file was modified src/Tools/Graphview/metrics.scala (diff)
The file was modified src/Tools/jEdit/src-base/pide_docking_framework.scala (diff)
The file was modified src/Tools/jEdit/src/fold_handling.scala (diff)
The file was modified src/Tools/jEdit/src/keymap_merge.scala (diff)
The file was modified src/Tools/jEdit/src/syntax_style.scala (diff)
The file was modified src/Tools/jEdit/src/text_structure.scala (diff)
The file was modified src/Tools/jEdit/src/token_markup.scala (diff)
Changeset 73908:506734c805ac by wenzelm:
merged
Changeset 73907:8cc891183484 by wenzelm:
clarified Isabelle/Java/Scala project setup;
The file was modified src/Pure/Tools/scala_project.scala (diff)
The file was removedsrc/Tools/Setup/.idea/.name
The file was removedsrc/Tools/Setup/.idea/artifacts/Setup_jar.xml
The file was removedsrc/Tools/Setup/.idea/codeStyles/Project.xml
The file was removedsrc/Tools/Setup/.idea/codeStyles/codeStyleConfig.xml
The file was removedsrc/Tools/Setup/.idea/misc.xml
The file was removedsrc/Tools/Setup/.idea/modules.xml
The file was removedsrc/Tools/Setup/.idea/sbt.xml
The file was removedsrc/Tools/Setup/.idea/vcs.xml
The file was removedsrc/Tools/Setup/.idea/workspace.xml
The file was removedsrc/Tools/Setup/Setup.iml
Changeset 73906:f627ffab387b by wenzelm:
support for Isabelle setup in pure Java;
The file was addedAdmin/lib/Tools/build_setup
The file was addedsrc/Tools/Setup/src/isabelle/setup/Environment.java
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Pure/General/file.scala (diff)
The file was modified src/Pure/System/bash.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Pure/System/platform.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was removedsrc/Pure/System/isabelle_env.scala
Changeset 73905:0dd54d6c974a by wenzelm:
tuned: prefer Java interfaces;
The file was modified src/Pure/System/isabelle_env.scala (diff)
Changeset 73904:51f510517aa0 by wenzelm:
clarified package: towards stand-alone setup;
The file was modified src/Pure/General/file.scala (diff)
The file was modified src/Pure/System/bash.scala (diff)
The file was modified src/Pure/System/isabelle_env.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Pure/System/platform.scala (diff)
Changeset 73903:9849943b83fa by wenzelm:
tuned;
The file was modified src/Pure/System/isabelle_env.scala (diff)
Changeset 73902:4df63c3a4c4f by wenzelm:
more direct java.home, according to current jdk directory layout;
The file was modified src/Pure/System/isabelle_env.scala (diff)
Changeset 73901:bf476aed616d by wenzelm:
tuned;
The file was modified src/Pure/System/isabelle_env.scala (diff)
Changeset 73900:1f1e490dd251 by wenzelm:
clarified modules;<br>avoid initial use of _settings during init;
The file was modified src/Pure/General/file.scala (diff)
The file was modified src/Pure/System/isabelle_env.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 73899:4d64bc387867 by wenzelm:
tuned: prefer Java interfaces;
The file was modified src/Pure/System/isabelle_env.scala (diff)
Changeset 73898:743a58b6b2c3 by wenzelm:
tuned: prefer Java interfaces;
The file was modified src/Pure/System/isabelle_env.scala (diff)
Changeset 73897:0ddb5de0506e by wenzelm:
clarified signature: prefer Java interfaces;
The file was modified src/Pure/General/path.scala (diff)
The file was modified src/Pure/General/ssh.scala (diff)
The file was modified src/Pure/ML/ml_process.scala (diff)
The file was modified src/Pure/System/bash.scala (diff)
The file was modified src/Pure/System/isabelle_env.scala (diff)
The file was modified src/Pure/System/isabelle_process.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Pure/System/progress.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)
Changeset 73896:5d44c6a7bd7b by wenzelm:
clarified signature;
The file was modified src/Pure/System/bash.scala (diff)
The file was modified src/Pure/System/isabelle_env.scala (diff)
Changeset 73895:b709faa96586 by wenzelm:
clarified signature;
The file was modified src/Pure/System/bash.scala (diff)
The file was modified src/Pure/System/isabelle_env.scala (diff)
Changeset 73894:d7ac039421ec by wenzelm:
proper usage;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 73893:eb7655fcb090 by wenzelm:
clarified modules;
The file was modified src/Pure/System/cygwin.scala (diff)
The file was modified src/Pure/System/isabelle_env.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Pure/build-jars (diff)
Changeset 73892:2847a3deedf9 by wenzelm:
tuned;
The file was modified src/Pure/System/cygwin.scala (diff)
Changeset 73891:6c9044f04756 by wenzelm:
clarified modules (again): services require full Isabelle/Scala environment;
The file was modified src/Pure/System/isabelle_env.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Pure/Tools/main.scala (diff)
The file was modified src/Tools/jEdit/src-base/plugin.scala (diff)
Changeset 73890:8f6b2eb15240 by wenzelm:
clarified modules;
The file was addedsrc/Pure/System/isabelle_env.scala
The file was modified src/Pure/System/bash.scala (diff)
The file was modified src/Pure/System/cygwin.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Pure/Tools/main.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was modified src/Tools/jEdit/src-base/plugin.scala (diff)
Changeset 73889:5ec68c1a07d8 by wenzelm:
updated to scala-2.13.6, with scala-xml 1.3.0 ~&gt; 2.0.0;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Pure/ROOT.scala (diff)
Changeset 73888:9c2dd041477b by wenzelm:
clarified environment (amending 9444489766a1);
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 73887:9b981f5612d0 by andreas lochbihler _mail@andreas-lochbihler.de_:
merged
Changeset 73886:93ba8e3fdcdf by andreas lochbihler _mail@andreas-lochbihler.de_:
move code setup from Cardinality to separate theory
The file was addedsrc/HOL/Library/Code_Cardinality.thy
The file was modified NEWS (diff)
The file was modified src/HOL/Codegenerator_Test/Generate_Efficient_Datastructures.thy (diff)
The file was modified src/HOL/Library/Cardinality.thy (diff)
The file was modified src/HOL/Library/Library.thy (diff)