Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified signature: overloaded "+" for Path.append;
Changeset 72511:460d743010bc by wenzelm:
clarified signature: overloaded "+" for Path.append;
The file was modified NEWS (diff)
The file was modified src/HOL/Library/code_test.ML (diff)
The file was modified src/HOL/TPTP/TPTP_Interpret_Test.thy (diff)
The file was modified src/HOL/TPTP/TPTP_Parser/tptp_interpret.ML (diff)
The file was modified src/HOL/TPTP/TPTP_Test.thy (diff)
The file was modified src/HOL/Tools/Quickcheck/narrowing_generators.ML (diff)
The file was modified src/HOL/Tools/SMT/smt_config.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML (diff)
The file was modified src/Pure/General/file.ML (diff)
The file was modified src/Pure/General/path.ML (diff)
The file was modified src/Pure/General/url.ML (diff)
The file was modified src/Pure/PIDE/resources.ML (diff)
The file was modified src/Pure/System/isabelle_system.ML (diff)
The file was modified src/Pure/Thy/export.ML (diff)
The file was modified src/Pure/Thy/present.ML (diff)
The file was modified src/Pure/Thy/thy_info.ML (diff)
The file was modified src/Pure/Tools/generated_files.ML (diff)
The file was modified src/Pure/Tools/ghc.ML (diff)
The file was modified src/Tools/Code/code_ml.ML (diff)
The file was modified src/Tools/Code/code_scala.ML (diff)
The file was modified src/Tools/Code/code_target.ML (diff)