Skip to content
[Jenkins]Jenkins
log in
Aborted

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. more verbosity for potentially bulky presentation;
  2. tuned signature -- prefer Isabelle/ML structure Integer (despite minor confusion due to canonical argument order of "pow");
  3. tuned signature -- prefer Isabelle/ML structure Integer;
  4. tuned signature -- prefer Isabelle/ML structure Integer;
Changeset 73022:38528017e4c8 by wenzelm:
more verbosity for potentially bulky presentation;
The file was modified src/Pure/Thy/presentation.scala
The file was modified src/Pure/Tools/build.scala
Changeset 73021:f602a380e4f2 by wenzelm:
tuned signature -- prefer Isabelle/ML structure Integer (despite minor confusion due to canonical argument order of "pow");
The file was modified src/HOL/Library/Tools/smt_word.ML
Changeset 73020:b51515722274 by wenzelm:
tuned signature -- prefer Isabelle/ML structure Integer;
The file was modified src/HOL/Tools/numeral.ML
The file was modified src/Pure/General/integer.ML
Changeset 73019:05e2cab9af8b by wenzelm:
tuned signature -- prefer Isabelle/ML structure Integer;
The file was modified src/HOL/Decision_Procs/approximation.ML
The file was modified src/HOL/Matrix_LP/float_arith.ML
The file was modified src/HOL/Tools/Function/scnp_solve.ML
The file was modified src/Pure/General/integer.ML