Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more to ANNOUNCE;
  2. clarified link style: similar to Isabelle/jEdit;
  3. tuned;
  4. improved HTML presentation by Fabian Huch;
  5. proper HTTPS;
  6. proper markup type (amending be49c660ebbf);
  7. merged;
  8. more PIDE markup;
  9. tuned signature;
  10. more PIDE markup;
  11. recover library_index_content.template from c337c798f64c: required for website/build/main;
  12. merged
  13. simplified some ugly proofs
  14. more generous timeout: support build on Raspberry Pi;
  15. add documentation for pred_mono
  16. merged
  17. added "mono" attribute to BNF generated pred_mono theorems
  18. merged
  19. do not declare $let-bound variables in TPTP output
Changeset 74680:b80a8d7db99d by wenzelm:
more to ANNOUNCE;
The file was modified ANNOUNCE (diff)
Changeset 74679:0efa6a8b6e20 by wenzelm:
clarified link style: similar to Isabelle/jEdit;
The file was modified etc/isabelle.css (diff)
The file was modified src/Pure/Thy/html.scala (diff)
The file was modified src/Pure/Thy/presentation.scala (diff)
Changeset 74678:e04806c89b10 by wenzelm:
tuned;
The file was modified src/Pure/Thy/presentation.scala (diff)
Changeset 74677:0d30ea76756c by wenzelm:
improved HTML presentation by Fabian Huch;
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
The file was modified src/Pure/Thy/presentation.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 74676:d37b204e1f89 by wenzelm:
proper HTTPS;
The file was modified lib/html/library_index_content.template (diff)
The file was modified src/Pure/Thy/presentation.scala (diff)
Changeset 74675:76dd79530650 by wenzelm:
proper markup type (amending be49c660ebbf);
The file was modified src/Pure/General/position.scala (diff)
Changeset 74674:376571db0eda by wenzelm:
merged;
Changeset 74673:eae5fa0055bd by wenzelm:
more PIDE markup;
The file was modified src/Pure/PIDE/command.ML (diff)
The file was modified src/Pure/PIDE/markup.ML (diff)
The file was modified src/Pure/PIDE/markup.scala (diff)
Changeset 74672:1a8fd26fedb6 by wenzelm:
tuned signature;
The file was modified src/Pure/Isar/toplevel.ML (diff)
Changeset 74671:df12779c3ce8 by wenzelm:
more PIDE markup;
The file was modified src/HOL/SPARK/Tools/spark.scala (diff)
The file was modified src/Pure/Isar/keyword.ML (diff)
The file was modified src/Pure/PIDE/command_span.scala (diff)
The file was modified src/Pure/PIDE/markup.ML (diff)
The file was modified src/Pure/PIDE/protocol.ML (diff)
The file was modified src/Pure/PIDE/resources.ML (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/Thy/thy_header.ML (diff)
Changeset 74670:b2604cd4d131 by wenzelm:
recover library_index_content.template from c337c798f64c: required for website/build/main;
The file was addedlib/html/library_index_content.template
The file was modified src/Pure/Thy/presentation.scala (diff)
Changeset 74669:74f044c3e590 by paulson:
merged
Changeset 74668:2d9d02beaf96 by paulson _lp15@cam.ac.uk_:
simplified some ugly proofs
The file was modified src/HOL/Topological_Spaces.thy (diff)
Changeset 74667:0b3dc8c5fb32 by wenzelm:
more generous timeout: support build on Raspberry Pi;
The file was modified src/HOL/Analysis/ex/Metric_Arith_Examples.thy (diff)
Changeset 74666:432b3605933d by traytel:
add documentation for pred_mono
The file was modified src/Doc/Datatypes/Datatypes.thy (diff)
Changeset 74665:d4a812e4f041 by desharna:
merged
Changeset 74664:d4ef127b74df by desharna:
added "mono" attribute to BNF generated pred_mono theorems
The file was modified src/HOL/Tools/BNF/bnf_def.ML (diff)
Changeset 74663:b74dfca75e84 by desharna:
merged
Changeset 74662:44585660f39a by desharna:
do not declare $let-bound variables in TPTP output
The file was modified src/HOL/Tools/ATP/atp_problem_generate.ML (diff)