Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. clarified signature;
  2. more accurate treatment of errors;
  3. clarified modules: global quasi-scope for markers;
  4. redunant simp rule
  5. merged
  6. more ugly old proofs
Changeset 71632:c1bc38327bc2 by wenzelm:
clarified signature;
The file was modified src/Doc/System/Environment.thy (diff)
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/build_polyml.scala (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was modified src/Pure/ML/ml_console.scala (diff)
The file was modified src/Pure/System/command_line.ML (diff)
The file was modified src/Pure/System/command_line.scala (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/profiling_report.scala (diff)
Changeset 71631:3f02bc5a5a03 by wenzelm:
more accurate treatment of errors;
The file was modified src/Pure/PIDE/protocol_message.scala (diff)
The file was modified src/Pure/System/command_line.ML (diff)
The file was modified src/Pure/System/isabelle_process.ML (diff)
The file was modified src/Pure/System/process_result.scala (diff)
The file was modified src/Pure/Tools/build.ML (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 71630:50425e4c3910 by wenzelm:
clarified modules: global quasi-scope for markers;
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/Admin/jenkins.scala (diff)
The file was modified src/Pure/PIDE/protocol.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 71629:2e8f861d21d4 by nipkow:
redunant simp rule
The file was modified src/HOL/Analysis/Bounded_Linear_Function.thy (diff)
Changeset 71628:1f957615cae6 by paulson:
merged
Changeset 71627:2a24c2015a61 by paulson _lp15@cam.ac.uk_:
more ugly old proofs
The file was modified src/HOL/Quotient.thy (diff)
The file was modified src/HOL/Transitive_Closure.thy (diff)