Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. NEWS;
  3. proper example;
  4. more tests;
  5. more robust: component might be absent;
  6. clarified global state: allow to deactivate main plugin;
  7. more robust (again): allow to deactivate main plugin;
  8. tuned signature;
  9. more complete dockables;
  10. more robust (see 4d91b6d5d49c);
  11. clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
  12. more robust;
  13. tuned;
  14. avoid non-standard encoding;
  15. proper cross-platform build: jdk component is required for ISABELLE_SETUP_CLASSPATH in other_isabelle;
  16. more robust classpath: skip empty entries;
  17. more robust: avoid duplicate classpath entries;
  18. build.props for isabelle.jar, including isabelle.jedit; build minimal Isabelle/jEdit plugins on the spot; regular "jedit" component: discontinued special "jedit_build"; Isabelle/Scala services via jars, instead of settings;
  19. more robust;
  20. more portable: avoid Windows CRLF in classpath output;
  21. proper lines (amending 59b6f0462086);
  22. more systematic treatment of encodings;
  23. tuned;
  24. extended the 'corec' format slightly
Changeset 74004:5c8a0580d513 by wenzelm:
merged
Changeset 74003:e6e49f9cafd8 by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 74002:f2d16e75bcf1 by wenzelm:
proper example;
The file was modified src/Doc/System/Environment.thy (diff)
Changeset 74001:118057a1093b by wenzelm:
more tests;
The file was modified Admin/Release/CHECKLIST (diff)
Changeset 74000:4313e6c9969a by wenzelm:
more robust: component might be absent;
The file was modified lib/scripts/getsettings (diff)
Changeset 73999:6b213c0115f5 by wenzelm:
clarified global state: allow to deactivate main plugin;
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
The file was modified src/Tools/jEdit/src/main_plugin.scala (diff)
Changeset 73998:b3f2da6bef51 by wenzelm:
more robust (again): allow to deactivate main plugin;
The file was modified src/Tools/jEdit/src/main_plugin.scala (diff)
Changeset 73997:0f61cd0ce803 by wenzelm:
tuned signature;
The file was modified src/Tools/jEdit/src/main_plugin.scala (diff)
The file was modified src/Tools/jEdit/src/syntax_style.scala (diff)
Changeset 73996:f3409ced4df2 by wenzelm:
more complete dockables;
The file was modified src/Tools/jEdit/jedit_main/dockables.scala (diff)
Changeset 73995:de82b1251971 by wenzelm:
more robust (see 4d91b6d5d49c);
The file was modified src/Tools/jEdit/src/syntax_style.scala (diff)
Changeset 73994:fbb30dac95a2 by wenzelm:
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
The file was addedsrc/Tools/jEdit/jedit_main/dockables.scala
The file was addedsrc/Tools/jEdit/jedit_main/services.scala
The file was modified src/Tools/jEdit/jedit_main/build.props (diff)
The file was modified src/Tools/jEdit/jedit_main/dockables.xml (diff)
The file was modified src/Tools/jEdit/jedit_main/plugin.props (diff)
The file was modified src/Tools/jEdit/jedit_main/services.xml (diff)
Changeset 73993:3868fed3c34b by wenzelm:
more robust;
The file was modified Admin/build (diff)
The file was modified lib/Tools/java (diff)
Changeset 73992:fecbf83ab281 by wenzelm:
tuned;
The file was modified lib/scripts/getsettings (diff)
Changeset 73991:9f42f2a80ef3 by wenzelm:
avoid non-standard encoding;
The file was modified src/Tools/jEdit/jedit_base/plugin.props (diff)
The file was modified src/Tools/jEdit/jedit_main/plugin.props (diff)
Changeset 73990:778ab9983f40 by wenzelm:
proper cross-platform build: jdk component is required for ISABELLE_SETUP_CLASSPATH in other_isabelle;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 73989:842fc354c031 by wenzelm:
more robust classpath: skip empty entries;
The file was modified bin/isabelle_java (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)
Changeset 73988:678e1c9eb009 by wenzelm:
more robust: avoid duplicate classpath entries;
The file was modified bin/isabelle_java (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 lib/scripts/getsettings (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/Admin/other_isabelle.scala (diff)
The file was modified src/Pure/System/scala.scala (diff)
Changeset 73987:fc363a3b690a by wenzelm:
build.props for isabelle.jar, including isabelle.jedit;<br>build minimal Isabelle/jEdit plugins on the spot;<br>regular &quot;jedit&quot; component: discontinued special &quot;jedit_build&quot;;<br>Isabelle/Scala services via jars, instead of settings;
The file was addedAdmin/etc/build.props
The file was addedetc/build.props
The file was addedlib/services/java.nio.charset.spi.CharsetProvider
The file was addedsrc/Tools/jEdit/jedit_base/build.props
The file was addedsrc/Tools/jEdit/jedit_base/plugin.props
The file was addedsrc/Tools/jEdit/jedit_base/plugin.scala
The file was addedsrc/Tools/jEdit/jedit_base/services.xml
The file was addedsrc/Tools/jEdit/jedit_main/actions.xml
The file was addedsrc/Tools/jEdit/jedit_main/build.props
The file was addedsrc/Tools/jEdit/jedit_main/dockables.xml
The file was addedsrc/Tools/jEdit/jedit_main/isabelle_sidekick.scala
The file was addedsrc/Tools/jEdit/jedit_main/plugin.props
The file was addedsrc/Tools/jEdit/jedit_main/plugin.scala
The file was addedsrc/Tools/jEdit/jedit_main/scala_console.scala
The file was addedsrc/Tools/jEdit/jedit_main/services.xml
The file was addedsrc/Tools/jEdit/src/base_plugin.scala
The file was addedsrc/Tools/jEdit/src/dockable.scala
The file was addedsrc/Tools/jEdit/src/main.scala
The file was addedsrc/Tools/jEdit/src/main_plugin.scala
The file was addedsrc/Tools/jEdit/src/pide_docking_framework.scala
The file was modified .hgignore (diff)
The file was modified Admin/Release/CHECKLIST (diff)
The file was modified Admin/Windows/launch4j/isabelle.xml (diff)
The file was modified Admin/build (diff)
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified bin/isabelle_java (diff)
The file was modified etc/settings (diff)
The file was modified lib/Tools/java (diff)
The file was modified lib/scripts/getfunctions (diff)
The file was modified src/Doc/JEdit/JEdit.thy (diff)
The file was modified src/Doc/System/Environment.thy (diff)
The file was modified src/Doc/System/Scala.thy (diff)
The file was modified src/HOL/Tools/etc/settings (diff)
The file was modified src/Pure/Admin/build_jedit.scala (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/Admin/other_isabelle.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Pure/System/scala.scala (diff)
The file was modified src/Pure/Tools/jedit.ML (diff)
The file was modified src/Pure/Tools/scala_project.scala (diff)
The file was modified src/Tools/Setup/isabelle/setup/Build.java (diff)
The file was modified src/Tools/jEdit/README (diff)
The file was modified src/Tools/jEdit/etc/settings (diff)
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)
The file was modified src/Tools/jEdit/lib/Tools/jedit_client (diff)
The file was modified src/Tools/jEdit/src/debugger_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/documentation_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/graphview_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/info_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/isabelle_encoding.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_bibtex.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_lib.scala (diff)
The file was modified src/Tools/jEdit/src/monitor_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/output_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/protocol_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/query_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/raw_output_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/simplifier_trace_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/sledgehammer_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/state_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/symbols_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/syntax_style.scala (diff)
The file was modified src/Tools/jEdit/src/syslog_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/timing_dockable.scala (diff)
The file was removedsrc/HOL/SPARK/etc/settings
The file was removedsrc/Pure/Tools/main.scala
The file was removedsrc/Pure/build-jars
The file was removedsrc/Tools/jEdit/src-base/Isabelle_Base.props
The file was removedsrc/Tools/jEdit/src-base/dockable.scala
The file was removedsrc/Tools/jEdit/src-base/isabelle_encoding.scala
The file was removedsrc/Tools/jEdit/src-base/jedit_lib.scala
The file was removedsrc/Tools/jEdit/src-base/pide_docking_framework.scala
The file was removedsrc/Tools/jEdit/src-base/plugin.scala
The file was removedsrc/Tools/jEdit/src-base/services.xml
The file was removedsrc/Tools/jEdit/src-base/syntax_style.scala
The file was removedsrc/Tools/jEdit/src/Isabelle.props
The file was removedsrc/Tools/jEdit/src/actions.xml
The file was removedsrc/Tools/jEdit/src/dockables.xml
The file was removedsrc/Tools/jEdit/src/isabelle_sidekick.scala
The file was removedsrc/Tools/jEdit/src/plugin.scala
The file was removedsrc/Tools/jEdit/src/scala_console.scala
The file was removedsrc/Tools/jEdit/src/services.xml
Changeset 73986:13168094175b by wenzelm:
more robust;
The file was modified lib/browser/build (diff)
Changeset 73985:eb7112f467a8 by wenzelm:
more portable: avoid Windows CRLF in classpath output;
The file was modified src/Tools/Setup/isabelle/setup/Build.java (diff)
The file was modified src/Tools/Setup/isabelle/setup/Setup.java (diff)
Changeset 73984:c606a8ff5ccc by wenzelm:
proper lines (amending 59b6f0462086);
The file was modified src/Tools/Setup/isabelle/setup/Library.java (diff)
Changeset 73983:e2913fc81142 by wenzelm:
more systematic treatment of encodings;
The file was modified src/Pure/Admin/build_jedit.scala (diff)
Changeset 73982:c1277bb04507 by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_jedit.scala (diff)
Changeset 73981:84528a343f5f by blanchet:
extended the &#039;corec&#039; format slightly
The file was modified src/HOL/Tools/BNF/bnf_gfp_grec_sugar.ML (diff)