Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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 (diff)
Changeset 73631:f17caa5002df by wenzelm:
proper dist_name;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 73630:f2e836e013cb by wenzelm:
clarified option -P: allow empty argument;
The file was modified src/Pure/Admin/build_release.scala (diff)
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 (diff)
The file was modified src/Pure/Admin/isabelle_devel.scala (diff)
Changeset 73628:ac8feb094bd4 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_jdk.scala (diff)
The file was modified src/Pure/General/path.scala (diff)
Changeset 73627:27659455c592 by wenzelm:
clarified signature;
The file was modified src/Pure/General/file.scala (diff)
Changeset 73626:0732f66ce514 by wenzelm:
more website content;
The file was modified src/Pure/Admin/build_release.scala (diff)
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 (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was modified src/Pure/Admin/isabelle_devel.scala (diff)
The file was modified src/Pure/Admin/other_isabelle.scala (diff)
Changeset 73624:f033d4f661e9 by wenzelm:
tuned signature;
The file was modified src/Pure/General/mercurial.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 73623:5020054b3a16 by haftmann:
tuned theory structure
The file was addedsrc/HOL/Combinatorics/Transposition.thy
The file was modified NEWS (diff)
The file was modified src/HOL/Analysis/Cartesian_Space.thy (diff)
The file was modified src/HOL/Combinatorics/Combinatorics.thy (diff)
The file was modified src/HOL/Combinatorics/Perm.thy (diff)
The file was modified src/HOL/Combinatorics/Permutations.thy (diff)
The file was modified src/HOL/Fun.thy (diff)
The file was modified src/HOL/Hilbert_Choice.thy (diff)
Changeset 73622:4dc3baf45d6a by haftmann:
more appropriate location
The file was addedsrc/HOL/Combinatorics/Perm.thy
The file was modified NEWS (diff)
The file was modified src/HOL/Combinatorics/Combinatorics.thy (diff)
The file was modified src/HOL/Library/Library.thy (diff)
The file was modified src/HOL/ex/Perm_Fragments.thy (diff)
The file was modified src/HOL/ex/Specifications_with_bundle_mixins.thy (diff)
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 (diff)