Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. merged
  2. tuned --- rename = dist_name is sufficient;
  3. proper dist_name;
  4. clarified option -P: allow empty argument;
  5. support for existing release archive; misc tuning and clarification;
  6. tuned signature;
  7. clarified signature;
  8. more website content;
  9. misc tuning and clarification: more explicit types Release_Context, Release_Archive;
  10. tuned signature;
  11. tuned theory structure
  12. more appropriate location
  13. collected lemmas on permutations
Changeset 73633:7e465e166bb2 by wenzelm:
merged
Changeset 73632:7c70f10e0b3b by wenzelm:
tuned --- rename = dist_name is sufficient;
The file was modified src/Pure/Admin/build_release.scala
Changeset 73631:f17caa5002df by wenzelm:
proper dist_name;
The file was modified src/Pure/Admin/build_release.scala
Changeset 73630:f2e836e013cb by wenzelm:
clarified option -P: allow empty argument;
The file was modified src/Pure/Admin/build_release.scala
Changeset 73629:a771807df752 by wenzelm:
support for existing release archive;<br>misc tuning and clarification;
The file was modified src/Pure/Admin/build_release.scala
The file was modified src/Pure/Admin/isabelle_devel.scala
Changeset 73628:ac8feb094bd4 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_jdk.scala
The file was modified src/Pure/General/path.scala
Changeset 73627:27659455c592 by wenzelm:
clarified signature;
The file was modified src/Pure/General/file.scala
Changeset 73626:0732f66ce514 by wenzelm:
more website content;
The file was modified src/Pure/Admin/build_release.scala
Changeset 73625:f8f065e20837 by wenzelm:
misc tuning and clarification: more explicit types Release_Context, Release_Archive;
The file was modified src/Pure/Admin/build_release.scala
The file was modified src/Pure/Admin/isabelle_cronjob.scala
The file was modified src/Pure/Admin/isabelle_devel.scala
The file was modified src/Pure/Admin/other_isabelle.scala
Changeset 73624:f033d4f661e9 by wenzelm:
tuned signature;
The file was modified src/Pure/General/mercurial.scala
The file was modified src/Pure/System/isabelle_system.scala
Changeset 73623:5020054b3a16 by haftmann:
tuned theory structure
The file was addedsrc/HOL/Combinatorics/Transposition.thy
The file was modified NEWS
The file was modified src/HOL/Analysis/Cartesian_Space.thy
The file was modified src/HOL/Combinatorics/Combinatorics.thy
The file was modified src/HOL/Combinatorics/Perm.thy
The file was modified src/HOL/Combinatorics/Permutations.thy
The file was modified src/HOL/Fun.thy
The file was modified src/HOL/Hilbert_Choice.thy
Changeset 73622:4dc3baf45d6a by haftmann:
more appropriate location
The file was addedsrc/HOL/Combinatorics/Perm.thy
The file was modified NEWS
The file was modified src/HOL/Combinatorics/Combinatorics.thy
The file was modified src/HOL/Library/Library.thy
The file was modified src/HOL/ex/Perm_Fragments.thy
The file was modified src/HOL/ex/Specifications_with_bundle_mixins.thy
The file was removedsrc/HOL/Library/Perm.thy
Changeset 73621:b4b70d13c995 by haftmann:
collected lemmas on permutations
The file was modified src/HOL/Combinatorics/Permutations.thy

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. tuned theory structure
  2. merged
  3. more proof tidying
  4. collected lemmas on permutations
Changeset 11768:f9dd3b4a6fd5 by haftmann:
tuned theory structure
The file was modified thys/Blue_Eyes/Blue_Eyes.thy
The file was modified thys/Blue_Eyes/ROOT
The file was modified thys/Gauss-Jordan-Elim-Fun/Gauss_Jordan_Elim_Fun.thy
The file was modified thys/Gauss-Jordan-Elim-Fun/ROOT
Changeset 11767:c272e0d255f2 by paulson:
merged
Changeset 11766:5b179b8ac1fa by paulson _lp15@cam.ac.uk_:
more proof tidying
The file was modified thys/Ordinal_Partitions/Omega_Omega.thy
The file was modified thys/ZFC_in_HOL/Cantor_NF.thy
Changeset 11765:6cf5bfc61f4b by haftmann:
collected lemmas on permutations
The file was addedthys/Jordan_Normal_Form/Missing_Misc.thy
The file was modified thys/Algebraic_Numbers/Algebraic_Numbers.thy
The file was modified thys/Jordan_Normal_Form/Char_Poly.thy
The file was modified thys/Jordan_Normal_Form/Determinant.thy
The file was modified thys/Jordan_Normal_Form/Matrix.thy
The file was modified thys/Jordan_Normal_Form/Missing_Ring.thy
The file was modified thys/Jordan_Normal_Form/ROOT
The file was modified thys/Jordan_Normal_Form/Schur_Decomposition.thy
The file was modified thys/LLL_Basis_Reduction/Gram_Schmidt_2.thy
The file was modified thys/Linear_Inequalities/Integral_Bounded_Vectors.thy
The file was modified thys/Perron_Frobenius/HMA_Connect.thy
The file was modified thys/QHLProver/Complex_Matrix.thy
The file was modified thys/Smith_Normal_Form/Mod_Type_Connect.thy
The file was modified thys/Subresultants/Coeff_Int.thy
The file was removedthys/Jordan_Normal_Form/Missing_Permutations.thy