Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned --- based on hints by IntelliJ IDEA;
  2. more robust: avoid -D ~~/AFP/thys after crash of AFP.init (notably in AFP/1001c0dfced0);
  3. more portable across history;
  4. proper isabelle.setup.Setup build;
  5. rebuild component;
  6. more complete scala_project, including Isabelle/jEdit plugins;
  7. clarified directories;
  8. more accurate scala_project, based on build.props of components;
  9. clarified build_props: empty module means no build; clarified signature; clarified errors;
  10. tuned;
  11. CONTRIBUTORS
Changeset 74037:c13198575f75 by wenzelm:
tuned --- based on hints by IntelliJ IDEA;
The file was modified src/Pure/System/getopts.scala (diff)
The file was modified src/Tools/jEdit/jedit_main/isabelle_sidekick.scala (diff)
The file was modified src/Tools/jEdit/jedit_main/scala_console.scala (diff)
The file was modified src/Tools/jEdit/src/main.scala (diff)
The file was modified src/Tools/jEdit/src/main_plugin.scala (diff)
Changeset 74036:57768f30d17c by wenzelm:
more robust: avoid -D ~~/AFP/thys after crash of AFP.init (notably in AFP/1001c0dfced0);
The file was modified src/Pure/Admin/build_history.scala (diff)
Changeset 74035:ec3249dd63dd by wenzelm:
more portable across history;
The file was modified src/Pure/Admin/build_history.scala (diff)
Changeset 74034:d6ae3a7d9cb0 by wenzelm:
proper isabelle.setup.Setup build;
The file was modified Admin/cronjob/main (diff)
Changeset 74033:a5e2654cfe28 by wenzelm:
rebuild component;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 74032:c9ec6f03ab91 by wenzelm:
more complete scala_project, including Isabelle/jEdit plugins;
The file was modified src/Pure/Tools/scala_project.scala (diff)
The file was modified src/Tools/jEdit/src/main.scala (diff)
Changeset 74031:09821ca262d3 by wenzelm:
clarified directories;
The file was addedsrc/Tools/Setup/src/Build.java
The file was addedsrc/Tools/Setup/src/Environment.java
The file was addedsrc/Tools/Setup/src/Exn.java
The file was addedsrc/Tools/Setup/src/Library.java
The file was addedsrc/Tools/Setup/src/Setup.java
The file was modified Admin/lib/Tools/build_setup (diff)
The file was removedsrc/Tools/Setup/isabelle/setup/Build.java
The file was removedsrc/Tools/Setup/isabelle/setup/Environment.java
The file was removedsrc/Tools/Setup/isabelle/setup/Exn.java
The file was removedsrc/Tools/Setup/isabelle/setup/Library.java
The file was removedsrc/Tools/Setup/isabelle/setup/Setup.java
Changeset 74030:39e05601faeb by wenzelm:
more accurate scala_project, based on build.props of components;
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 src/Pure/Admin/build_jedit.scala (diff)
The file was modified src/Pure/Tools/scala_project.scala (diff)
The file was modified src/Tools/Setup/isabelle/setup/Build.java (diff)
Changeset 74029:0701ff55780d by wenzelm:
clarified build_props: empty module means no build;<br>clarified signature;<br>clarified errors;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified Admin/etc/build.props (diff)
The file was modified etc/build.props (diff)
The file was modified src/Tools/GraphBrowser/etc/build.props (diff)
The file was modified src/Tools/Setup/isabelle/setup/Build.java (diff)
The file was modified src/Tools/Setup/isabelle/setup/Environment.java (diff)
The file was modified src/Tools/Setup/isabelle/setup/Library.java (diff)
The file was modified src/Tools/Setup/isabelle/setup/Setup.java (diff)
The file was modified src/Tools/jEdit/jedit_base/build.props (diff)
The file was modified src/Tools/jEdit/jedit_main/build.props (diff)
Changeset 74028:77cc23b550e9 by wenzelm:
tuned;
The file was modified src/Tools/Setup/isabelle/setup/Build.java (diff)
Changeset 74027:47a568d9067e by haftmann:
CONTRIBUTORS
The file was modified CONTRIBUTORS (diff)