Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned signature: more exports;
  3. clarified signature: prefer internal Thm_Name.T over external Facts.ref;
  4. more robust / permissive;
  5. clarified signature: more operations;
  6. tuned;
  7. clarified operations, following pretty_thm_name;
  8. more accurate treatment of Thm_Name.T;
  9. renamed lemmas
  10. merged
  11. renamed theorems
  12. renamed theorems
  13. add title;
  14. use build_cluster in ci builds;
  15. merged
  16. tuned alias names in formulas
  17. renamed theorems
  18. add favicon to web app;
Changeset 80332:4bed658a01fc by wenzelm:
merged
Changeset 80331:6f25a035069c by wenzelm:
tuned signature: more exports;
The file was modified src/Pure/Tools/find_theorems.ML (diff)
Changeset 80330:e01aae620437 by wenzelm:
clarified signature: prefer internal Thm_Name.T over external Facts.ref;
The file was modified src/Pure/Tools/find_theorems.ML (diff)
The file was modified src/Pure/thm_name.ML (diff)
Changeset 80329:d90a96894644 by wenzelm:
more robust / permissive;
The file was modified src/Pure/Isar/proof_context.ML (diff)
Changeset 80328:559909bd7715 by wenzelm:
clarified signature: more operations;
The file was modified src/HOL/Library/code_test.ML (diff)
The file was modified src/HOL/SPARK/Tools/spark_vcs.ML (diff)
The file was modified src/HOL/Tools/Nitpick/nitpick.ML (diff)
The file was modified src/Pure/General/pretty.ML (diff)
The file was modified src/Pure/Isar/proof_context.ML (diff)
The file was modified src/Pure/Isar/proof_display.ML (diff)
The file was modified src/Pure/Tools/find_theorems.ML (diff)
The file was modified src/Pure/unify.ML (diff)
The file was modified src/Tools/Code/code_target.ML (diff)
Changeset 80327:e4e643705d90 by wenzelm:
tuned;
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_isar_preplay.ML (diff)
Changeset 80326:53f12ab896e6 by wenzelm:
clarified operations, following pretty_thm_name;
The file was modified src/Pure/Isar/proof_context.ML (diff)
Changeset 80325:dca37c6479e3 by wenzelm:
more accurate treatment of Thm_Name.T;
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_fact.ML (diff)
Changeset 80324:a6d5de03ffeb by desharna:
renamed lemmas
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
The file was modified src/HOL/Library/Multiset_Order.thy (diff)
Changeset 80323:5e5dcebd1ed8 by desharna:
merged
Changeset 80322:b10f7c981df6 by desharna:
renamed theorems
The file was modified NEWS (diff)
The file was modified src/HOL/Fun_Def.thy (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
The file was modified src/HOL/MicroJava/DFA/Kildall.thy (diff)
The file was modified src/HOL/Tools/Function/function_core.ML (diff)
The file was modified src/HOL/Wellfounded.thy (diff)
Changeset 80321:31b9dfbe534c by desharna:
renamed theorems
The file was modified NEWS (diff)
The file was modified src/HOL/Wellfounded.thy (diff)
Changeset 80320:b8ce1269e190 by fabian huch _huch@in.tum.de_:
add title;
The file was modified src/Pure/Build/build_manager.scala (diff)
Changeset 80319:f83f402bc9a4 by fabian huch _huch@in.tum.de_:
use build_cluster in ci builds;
The file was modified src/Pure/Build/build_manager.scala (diff)
Changeset 80318:cdf26ac90f87 by desharna:
merged
Changeset 80317:be2e772e0adf by desharna:
tuned alias names in formulas
The file was modified src/HOL/Wellfounded.thy (diff)
Changeset 80316:82c20eaad94a by desharna:
renamed theorems
The file was modified NEWS (diff)
The file was modified src/HOL/List.thy (diff)
The file was modified src/HOL/Wellfounded.thy (diff)
Changeset 80315:a82db14570cd by fabian huch _huch@in.tum.de_:
add favicon to web app;
The file was modified src/Pure/Build/build_manager.scala (diff)
The file was modified src/Pure/System/web_app.scala (diff)