Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. enforce fresh build;
  2. merged
  3. more robust read_file: prefer implicit replacement of bad input instead of failure via MalformedInputException;
  4. more informative errors, with optional exception trace as in Command_Line.tool;
  5. more robust reset of CLASSPATH: unset variable means "." in certain situations, e.g. scalac;
  6. proper chapter for each ROOT file (amending b07f2ff55144);
  7. tidying of ugly legacy proofs
Changeset 76347:fa30620e31bf by wenzelm:
enforce fresh build;
The file was modified src/Pure/ROOT.ML (diff)
Changeset 76346:a2be9fde9e43 by wenzelm:
merged
Changeset 76345:ea79c21bcc47 by wenzelm:
more robust read_file: prefer implicit replacement of bad input instead of failure via MalformedInputException;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Tools/Setup/src/Environment.java (diff)
Changeset 76344:adb3f8d33838 by wenzelm:
more informative errors, with optional exception trace as in Command_Line.tool;
The file was modified src/Tools/jEdit/src/jedit_main.scala (diff)
The file was modified src/Tools/jEdit/src/session_build.scala (diff)
Changeset 76343:6a6f650cc5a2 by wenzelm:
more robust reset of CLASSPATH: unset variable means "." in certain situations, e.g. scalac;
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/scala_build (diff)
The file was modified lib/Tools/scalac (diff)
The file was modified lib/scripts/getsettings (diff)
Changeset 76342:65c5373f84b1 by wenzelm:
proper chapter for each ROOT file (amending b07f2ff55144);
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 76341:d72a8cdca1ab by paulson _lp15@cam.ac.uk_:
tidying of ugly legacy proofs
The file was modified src/HOL/Auth/Event.thy (diff)