Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. merged
  2. more direct invocation of Windows exe: avoid extra bash, cygpath, exec;
  3. tuned whitespace;
  4. updated to bash_process-1.2.3: rebuild on current reference PLATFORMS;
  5. Added tag Isabelle2019-RC3 for changeset 85de4fdec61b
  6. more robust InstallPath (amending 4ce07be8ba17): self-directory may be odd temp dir produced by browser "Run" operation;
  7. avoid extra subprocess -- potentially more robust on Cygwin;
  8. updated to cygwin-20190524;
  9. proper version;
  10. tuned spelling;
  11. more thorough assignment, e.g. when "purge" removes commands that were not assigned;
  12. tuned whitespace;
  13. tuned signature (following Scala version);
  14. tuned;
  15. obsolete (incompatible with Isabelle2019);
  16. amended to unoverload actually all parameters of a type variable
  17. proper message;
Changeset 70294:742f8e703780 by wenzelm:
merged
Changeset 70293:c7e9d3a0a681 by wenzelm:
more direct invocation of Windows exe: avoid extra bash, cygpath, exec;
The file was modified Admin/components/components.sha1
The file was modified Admin/components/main
The file was modified src/HOL/Tools/SMT/smt_solver.ML
Changeset 70292:bc9d02f916c4 by wenzelm:
tuned whitespace;
The file was modified src/Pure/General/file.ML
Changeset 70291:9f3441164e92 by wenzelm:
updated to bash_process-1.2.3: rebuild on current reference PLATFORMS;
The file was modified Admin/components/components.sha1
The file was modified Admin/components/main
Changeset 70290:0cfc4fa71d1b by wenzelm:
Added tag Isabelle2019-RC3 for changeset 85de4fdec61b
The file was modified .hgtags
Changeset 70289:85de4fdec61b by wenzelm:
more robust InstallPath (amending 4ce07be8ba17): self-directory may be odd temp dir produced by browser "Run" operation;
The file was modified Admin/Windows/Installer/sfx.txt
Changeset 70288:2e101846ad8f by wenzelm:
avoid extra subprocess -- potentially more robust on Cygwin;
The file was modified src/HOL/Tools/SMT/smt_solver.ML
Changeset 70287:b0fd8167bb9b by wenzelm:
updated to cygwin-20190524;
The file was modified Admin/components/bundled-windows
The file was modified Admin/components/components.sha1
Changeset 70286:9d7256d23ae3 by wenzelm:
proper version;
The file was modified ANNOUNCE
Changeset 70285:be248d734a5d by wenzelm:
tuned spelling;
The file was modified src/Doc/JEdit/JEdit.thy
Changeset 70284:3e17c3a5fd39 by wenzelm:
more thorough assignment, e.g. when "purge" removes commands that were not assigned;
The file was modified src/Pure/PIDE/document.ML
The file was modified src/Pure/PIDE/document.scala
The file was modified src/Pure/PIDE/protocol.ML
The file was modified src/Pure/PIDE/protocol.scala
The file was modified src/Pure/PIDE/session.scala
The file was modified src/Tools/jEdit/src/pretty_text_area.scala
Changeset 70283:9ebbb53f4b50 by wenzelm:
tuned whitespace;
The file was modified src/Pure/PIDE/document.ML
Changeset 70282:242c50877dd2 by wenzelm:
tuned signature (following Scala version);
The file was modified src/Pure/PIDE/document.ML
Changeset 70281:110df6f91376 by wenzelm:
tuned;
The file was modified NEWS
Changeset 70280:a3862cf94e73 by wenzelm:
obsolete (incompatible with Isabelle2019);
The file was removedlib/Tools/update_op
Changeset 70279:02920bc314ee by immler:
amended to unoverload actually all parameters of a type variable
The file was modified src/HOL/Types_To_Sets/unoverload_type.ML
Changeset 70278:94b332206700 by wenzelm:
proper message;
The file was modified src/Tools/jEdit/src/query_dockable.scala