Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned;
  2. NEWS;
  3. updated documentation on Isabelle/Scala;
  4. discontinued obsolete Apple (deprecated);
  5. clarified component setup: exclude jar from active component, but use sources from template within ISABELLE_HOME (relevant for "isabelle scala_project -L");
  6. more robust "isabelle build_scala" as separate tool;
Changeset 74043:13c66810f7b0 by wenzelm:
tuned;
The file was modified NEWS (diff)
Changeset 74042:68596ed5b7c2 by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 74041:6bf9f94198a7 by wenzelm:
updated documentation on Isabelle/Scala;
The file was modified lib/Tools/scala_build (diff)
The file was modified src/Doc/System/Scala.thy (diff)
Changeset 74040:aa36845ad5ad by wenzelm:
discontinued obsolete Apple (deprecated);
The file was modified src/Tools/GraphBrowser/graphbrowser/GraphBrowser.java (diff)
Changeset 74039:8c213672f6f3 by wenzelm:
clarified component setup: exclude jar from active component, but use sources from template within ISABELLE_HOME (relevant for "isabelle scala_project -L");
The file was addedsrc/Tools/Setup/etc/build.props
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified Admin/lib/Tools/build_setup (diff)
The file was modified etc/components (diff)
The file was modified src/Pure/ROOT.scala (diff)
Changeset 74038:b4f57bfe82e7 by wenzelm:
more robust "isabelle build_scala" as separate tool;
The file was addedlib/Tools/scala_build
The file was modified Admin/build_history (diff)
The file was modified Admin/build_release (diff)
The file was modified Admin/cronjob/main (diff)
The file was modified bin/isabelle (diff)
The file was modified lib/Tools/components (diff)
The file was modified lib/Tools/console (diff)
The file was modified lib/Tools/java (diff)
The file was modified lib/Tools/scala (diff)
The file was modified lib/Tools/scalac (diff)
The file was modified lib/scripts/getfunctions (diff)
The file was modified src/Tools/GraphBrowser/lib/Tools/browser (diff)
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)