Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. updated example;
  2. clarified options (again);
  3. more options: update ISABELLE_IDENTIFIER;
Changeset 73590:1aa9ef7a3eaf by wenzelm:
updated example;
The file was modified README_REPOSITORY
Changeset 73589:479e9b17090e by wenzelm:
clarified options (again);
The file was modified Admin/init
The file was modified README_REPOSITORY
Changeset 73588:a96de8bbe8a3 by wenzelm:
more options: update ISABELLE_IDENTIFIER;
The file was modified Admin/init

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

Summary

  1. cosmetic tweaks to proofs
Changeset 11731:712e90c69be4 by paulson _lp15@cam.ac.uk_:
cosmetic tweaks to proofs
The file was modified thys/Nash_Williams/Nash_Williams.thy
The file was modified thys/Ordinal_Partitions/Erdos_Milner.thy