Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. prefer antiquotations;
  2. clarified modules;
  3. more documentation;
  4. merged
  5. tuned whitespace;
  6. clarified signature: File.read_lines is based on scalable Bytes.T; discontinued somewhat pointless File.fold_lines;
  7. clarified modules;
  8. prefer scalable Bytes.T;
  9. unused;
  10. prefer scalable Bytes.T;
  11. missing recursive let-expansion in SMT translation
Changeset 75621:aeb412065742 by wenzelm:
prefer antiquotations;
The file was modified src/Pure/General/base64.ML (diff)
The file was modified src/Pure/General/xz.ML (diff)
The file was modified src/Pure/ROOT.ML (diff)
Changeset 75620:44815dc2b8f9 by wenzelm:
clarified modules;
The file was addedsrc/Pure/General/base64.ML
The file was addedsrc/Pure/General/base64.scala
The file was addedsrc/Pure/General/xz.ML
The file was modified NEWS (diff)
The file was modified etc/build.props (diff)
The file was modified src/Pure/General/bytes.scala (diff)
The file was modified src/Pure/General/xz.scala (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/System/isabelle_system.ML (diff)
The file was modified src/Pure/System/scala.scala (diff)
Changeset 75619:9639c3867b86 by wenzelm:
more documentation;
The file was modified src/Doc/Implementation/ML.thy (diff)
Changeset 75618:85a7795675be by wenzelm:
merged
Changeset 75617:be89ec4a4523 by wenzelm:
tuned whitespace;
The file was modified src/Doc/Implementation/ML.thy (diff)
Changeset 75616:986506233812 by wenzelm:
clarified signature: File.read_lines is based on scalable Bytes.T;<br>discontinued somewhat pointless File.fold_lines;
The file was modified src/HOL/Import/import_rule.ML (diff)
The file was modified src/HOL/TPTP/mash_eval.ML (diff)
The file was modified src/HOL/TPTP/mash_export.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML (diff)
The file was modified src/Pure/General/file.ML (diff)
The file was modified src/Tools/cache_io.ML (diff)
Changeset 75615:4494cd69f97f by wenzelm:
clarified modules;
The file was addedsrc/Pure/General/file_stream.ML
The file was modified src/HOL/Tools/sat_solver.ML (diff)
The file was modified src/Pure/General/bytes.ML (diff)
The file was modified src/Pure/General/file.ML (diff)
The file was modified src/Pure/PIDE/byte_message.ML (diff)
The file was modified src/Pure/PIDE/yxml.ML (diff)
The file was modified src/Pure/ROOT.ML (diff)
Changeset 75614:01b3da984e55 by wenzelm:
prefer scalable Bytes.T;
The file was modified src/Tools/cache_io.ML (diff)
Changeset 75613:1b50bcd108b7 by wenzelm:
unused;
The file was modified src/Pure/General/file.ML (diff)
Changeset 75612:03ae0ba2aa9e by wenzelm:
prefer scalable Bytes.T;
The file was modified src/HOL/Import/import_rule.ML (diff)
The file was modified src/HOL/TPTP/mash_eval.ML (diff)
The file was modified src/HOL/TPTP/mash_export.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML (diff)
Changeset 75611:66edc020a322 by mathias fleury _mathias.fleury@mpi-inf.mpg.de_:
missing recursive let-expansion in SMT translation
The file was modified src/HOL/Tools/SMT/smt_translate.ML (diff)