Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. clarified signature;
  2. tuned signature;
  3. clarified command-line, following other build_XYZ tools;
  4. more recent OCaml and GHC stack: better support for Apple Silicon;
Changeset 73609:58b17dca57ef by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/build_history.scala
The file was modified src/Pure/Admin/build_release.scala
The file was modified src/Pure/General/mercurial.scala
The file was modified src/Pure/System/isabelle_system.scala
Changeset 73608:6081885b9d06 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/afp.scala
The file was modified src/Pure/Admin/build_history.scala
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/System/isabelle_system.scala
Changeset 73607:fc13738e1933 by wenzelm:
clarified command-line, following other build_XYZ tools;
The file was modified Admin/Release/CHECKLIST
The file was modified src/Pure/Admin/build_release.scala
The file was modified src/Pure/Admin/isabelle_devel.scala
Changeset 73606:460e7535df46 by wenzelm:
more recent OCaml and GHC stack: better support for Apple Silicon;
The file was modified etc/settings

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

Summary

  1. merged
  2. trying to streamline a few proofs
  3. feat(sitegen-devel): switched to python3
  4. renamings to ensure consistency with paper description
  5. regen website
Changeset 11748:94431ee73ba6 by paulson:
merged
Changeset 11747:9ae2386150de by paulson _lp15@cam.ac.uk_:
trying to streamline a few proofs
The file was modified thys/Nash_Williams/Nash_Williams.thy
Changeset 11746:ece820d5ecd3 by fabian huch _huch@in.tum.de_:
feat(sitegen-devel): switched to python3
The file was modified admin/sitegen-devel
Changeset 11745:5ad4e75b14a4 by rene thiemann _rene.thiemann@uibk.ac.at_:
renamings to ensure consistency with paper description
The file was modified thys/Perron_Frobenius/Spectral_Radius_Largest_Jordan_Block.thy
Changeset 11744:a3e47d69f0c9 by gerwin klein _kleing@unsw.edu.au_:
regen website
The file was modified web/entries/Epistemic_Logic.html
The file was modified web/entries/LambdaAuth.html
The file was modified web/index.html
The file was modified web/statistics.html