Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

Summary

  1. Fixed a failing proof.
Changeset 10785:637ea3b47f8c by paulson _lp15@cam.ac.uk_:
Fixed a failing proof.
The file was modified thys/Lambda_Free_KBOs/Lambda_Free_KBO_Basic.thy

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

Summary

  1. ignore generated dependency files (see 91d5a8255c98, fd5cd1daf6a9);
Changeset 71411:839bf7d74fae by wenzelm:
ignore generated dependency files (see 91d5a8255c98, fd5cd1daf6a9);
The file was modified .hgignore