Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. avoid undeclared frees;
  2. removed junk;
  3. avoid dangling tfrees;
  4. standardize implicit variables: non-zero indexes do occur occasionally, e.g. via RS;
  5. tuned signature;
  6. avoid undeclared frees;
  7. export facts;
  8. clarified encoding;
  9. more scalable;
  10. tuned output;
  11. more scalable;
  12. tuned;
  13. support HTTPS;
  14. updated to scala-2.12.6;
  15. prefer HTTPS;
Changeset 68238:eb57621568bb by wenzelm:
avoid undeclared frees;
The file was modified src/Doc/Tutorial/Rules/Forward.thy (diff)
The file was modified src/HOL/UNITY/Constrains.thy (diff)
Changeset 68237:e7c85e2dc198 by wenzelm:
removed junk;
The file was modified src/Doc/Tutorial/Protocol/Message.thy (diff)
Changeset 68236:b4484ec4a8f7 by wenzelm:
avoid dangling tfrees;
The file was modified src/HOL/HOLCF/Tools/Domain/domain_take_proofs.ML (diff)
Changeset 68235:a3bd410db5b2 by wenzelm:
standardize implicit variables: non-zero indexes do occur occasionally, e.g. via RS;
The file was modified src/Pure/Thy/export_theory.ML (diff)
Changeset 68234:07eb13eb4065 by wenzelm:
tuned signature;
The file was modified src/Pure/term_subst.ML (diff)
Changeset 68233:5e0e9376b2b0 by wenzelm:
avoid undeclared frees;
The file was modified src/ZF/Bin.thy (diff)
The file was modified src/ZF/Induct/Tree_Forest.thy (diff)
The file was modified src/ZF/UNITY/Constrains.thy (diff)
The file was modified src/ZF/upair.thy (diff)
Changeset 68232:4b93573ac5b4 by wenzelm:
export facts;
The file was modified src/Pure/Thy/export_theory.ML (diff)
The file was modified src/Pure/Thy/export_theory.scala (diff)
Changeset 68231:0004e7a9fa10 by wenzelm:
clarified encoding;
The file was modified src/Pure/Thy/export_theory.ML (diff)
The file was modified src/Pure/Thy/export_theory.scala (diff)
Changeset 68230:9bee37c2ac2b by wenzelm:
more scalable;
The file was modified src/Pure/Thy/export_theory.ML (diff)
Changeset 68229:18c36ac0acaa by wenzelm:
tuned output;
The file was modified src/Pure/Admin/isabelle_devel.scala (diff)
Changeset 68228:326f4bcc5abc by wenzelm:
more scalable;
The file was modified src/Pure/General/buffer.ML (diff)
The file was modified src/Pure/PIDE/yxml.ML (diff)
Changeset 68227:b95a43d8b826 by wenzelm:
tuned;
The file was modified src/Pure/Tools/build.ML (diff)
Changeset 68226:5ce62512de35 by wenzelm:
support HTTPS;
The file was modified src/Pure/General/url.ML (diff)
Changeset 68225:2ce51f708ad6 by wenzelm:
updated to scala-2.12.6;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 68224:1f7308050349 by wenzelm:
prefer HTTPS;
The file was modified src/Doc/Implementation/ML.thy (diff)
The file was modified src/Doc/JEdit/JEdit.thy (diff)
The file was modified src/Doc/Locales/Examples3.thy (diff)
The file was modified src/Doc/Main/Main_Doc.thy (diff)
The file was modified src/Doc/Prog_Prove/Basics.thy (diff)
The file was modified src/Doc/System/Misc.thy (diff)
The file was modified src/Doc/System/Server.thy (diff)
The file was modified src/HOL/Analysis/Continuous_Extension.thy (diff)
The file was modified src/HOL/Analysis/Gamma_Function.thy (diff)
The file was modified src/HOL/Analysis/Linear_Algebra.thy (diff)
The file was modified src/HOL/Analysis/Weierstrass_Theorems.thy (diff)
The file was modified src/HOL/Factorial.thy (diff)
The file was modified src/HOL/Imperative_HOL/Ref.thy (diff)
The file was modified src/HOL/Library/Open_State_Syntax.thy (diff)
The file was modified src/HOL/Nominal/Examples/CK_Machine.thy (diff)
The file was modified src/HOL/Number_Theory/Quadratic_Reciprocity.thy (diff)
The file was modified src/HOL/Predicate_Compile_Examples/Reg_Exp_Example.thy (diff)
The file was modified src/HOL/String.thy (diff)
The file was modified src/HOL/Tools/ATP/atp_systems.ML (diff)
The file was modified src/HOL/Tools/sat_solver.ML (diff)
The file was modified src/HOL/Types_To_Sets/Types_To_Sets.thy (diff)
The file was modified src/HOL/ex/NatSum.thy (diff)
The file was modified src/HOL/ex/Sudoku.thy (diff)
The file was modified src/Pure/Admin/build_jdk.scala (diff)
The file was modified src/Pure/Admin/isabelle_devel.scala (diff)
The file was modified src/Pure/GUI/wrap_panel.scala (diff)
The file was modified src/Pure/General/utf8.scala (diff)
The file was modified src/Pure/Thy/bibtex.scala (diff)
The file was modified src/Pure/Tools/find_consts.ML (diff)
The file was modified src/Pure/Tools/spell_checker.scala (diff)