Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more operations;
  2. more operations;
  3. more formal Mercurial support (with the potential to upgrade to command server);
  4. tuned whitespace;
  5. added isabelle_java cold-start executable;
  6. updated according to 85c83757788c;
  7. eliminated hard tabs;
  8. updated headers;
  9. updated to sumatra_pdf-3.1.2;
  10. updated to xz-java-1.5;
  11. updated cygwin according to 9416333a17c2, still using old 1.7.35-1;
  12. tuned;
  13. just one option is enough -- "isabelle jedit" java process may be prefixed directly in the shell;
Changeset 63999:5649a993666d by wenzelm:
more operations;
The file was modified src/Pure/General/mercurial.scala (diff)
Changeset 63998:2f38d8aff2f5 by wenzelm:
more operations;
The file was modified src/Pure/General/mercurial.scala (diff)
Changeset 63997:e11ccb5aa82f by wenzelm:
more formal Mercurial support (with the potential to upgrade to command server);
The file was addedsrc/Pure/General/mercurial.scala
The file was modified src/Pure/Tools/check_sources.scala (diff)
The file was modified src/Pure/build-jars (diff)
Changeset 63996:3f47fec9edfc by wenzelm:
tuned whitespace;
The file was modified src/Pure/Concurrent/standard_thread.scala (diff)
The file was modified src/Pure/General/sqlite.scala (diff)
The file was modified src/Pure/System/bash.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 63995:2e4d80723fb0 by wenzelm:
added isabelle_java cold-start executable;
The file was addedbin/isabelle_java
The file was modified NEWS (diff)
The file was modified lib/Tools/install (diff)
The file was modified src/Doc/System/Environment.thy (diff)
Changeset 63994:18cbe1b8d859 by wenzelm:
updated according to 85c83757788c;
The file was modified lib/scripts/getfunctions (diff)
Changeset 63993:9c0ff0c12116 by wenzelm:
eliminated hard tabs;
The file was modified src/HOL/Library/Infinite_Set.thy (diff)
The file was modified src/HOL/Library/Perm.thy (diff)
Changeset 63992:3aa9837d05c7 by wenzelm:
updated headers;
The file was modified src/HOL/Analysis/Continuous_Extension.thy (diff)
The file was modified src/HOL/Analysis/Gamma_Function.thy (diff)
The file was modified src/HOL/Analysis/Summation_Tests.thy (diff)
The file was modified src/HOL/Library/Predicate_Compile_Quickcheck.thy (diff)
The file was modified src/HOL/Probability/Characteristic_Functions.thy (diff)
The file was modified src/HOL/Probability/Distribution_Functions.thy (diff)
The file was modified src/HOL/Tools/Argo/argo_real.ML (diff)
The file was modified src/HOL/Tools/Argo/argo_sat_solver.ML (diff)
The file was modified src/HOL/Tools/Argo/argo_tactic.ML (diff)
The file was modified src/Pure/General/json.scala (diff)
The file was modified src/Pure/Tools/ci_api.scala (diff)
The file was modified src/Tools/Argo/argo_expr.ML (diff)
The file was modified src/Tools/Argo/argo_thy.ML (diff)
Changeset 63991:0d8cd1f3c26d by wenzelm:
updated to sumatra_pdf-3.1.2;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/windows (diff)
Changeset 63990:785908f6f40e by wenzelm:
updated to xz-java-1.5;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 63989:b644954f0ded by wenzelm:
updated cygwin according to 9416333a17c2, still using old 1.7.35-1;
The file was modified Admin/Windows/Cygwin/README (diff)
The file was modified Admin/components/bundled-windows (diff)
The file was modified Admin/components/components.sha1 (diff)
Changeset 63988:2cdc56e8b671 by wenzelm:
tuned;
The file was modified src/HOL/Analysis/Topology_Euclidean_Space.thy (diff)
Changeset 63987:ac96fe9224f6 by wenzelm:
just one option is enough -- "isabelle jedit" java process may be prefixed directly in the shell;
The file was modified NEWS (diff)
The file was modified src/Doc/JEdit/JEdit.thy (diff)
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)