Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merge from afp-2016-1
  2. new entry: Abstract_Soundness
  3. add MacOS switch for release ISABELLETOOL determination
  4. website for Stone_Relation_Algebras
  5. new entry Stone_Relation_Algebras
  6. different ISABELLE_TOOL path for MacOS systems (... .app/Isabelle/...)
Changeset 7624:61cb66c62a52 by kleing:
merge from afp-2016-1
Changeset 7623:6899e1846413 by gerwin klein _gerwin.klein@nicta.com.au_:
new entry: Abstract_Soundness
The file was addedthys/Abstract_Soundness/Finite_Proof_Soundness.thy
The file was addedthys/Abstract_Soundness/Infinite_Proof_Soundness.thy
The file was addedthys/Abstract_Soundness/ROOT
The file was addedthys/Abstract_Soundness/document/root.bib
The file was addedthys/Abstract_Soundness/document/root.tex
The file was addedweb/entries/Abstract_Soundness.shtml
The file was modified metadata/metadata (diff)
The file was modified thys/ROOTS (diff)
The file was modified web/entries/Abstract_Completeness.shtml (diff)
The file was modified web/index.shtml (diff)
The file was modified web/statistics.shtml (diff)
The file was modified web/topics.shtml (diff)
Changeset 7622:3aa6e9d30cb9 by rene thiemann _rene.thiemann@uibk.ac.at_:
add MacOS switch for release ISABELLETOOL determination
The file was modified admin/publish (diff)
Changeset 7621:b1adba3c7f45 by rene thiemann _rene.thiemann@uibk.ac.at_:
website for Stone_Relation_Algebras
The file was addedweb/entries/Stone_Relation_Algebras.shtml
The file was modified metadata/metadata (diff)
The file was modified web/entries/Stone_Algebras.shtml (diff)
The file was modified web/index.shtml (diff)
The file was modified web/statistics.shtml (diff)
The file was modified web/topics.shtml (diff)
Changeset 7620:f51c8ae3739b by rene thiemann _rene.thiemann@uibk.ac.at_:
new entry Stone_Relation_Algebras
The file was addedthys/Stone_Relation_Algebras/Extended_Real_Matrices.thy
The file was addedthys/Stone_Relation_Algebras/Extended_Reals.thy
The file was addedthys/Stone_Relation_Algebras/Fixpoints.thy
The file was addedthys/Stone_Relation_Algebras/Matrix_Relation_Algebras.thy
The file was addedthys/Stone_Relation_Algebras/ROOT
The file was addedthys/Stone_Relation_Algebras/Relation_Algebras.thy
The file was addedthys/Stone_Relation_Algebras/Relation_Subalgebras.thy
The file was addedthys/Stone_Relation_Algebras/Semirings.thy
The file was addedthys/Stone_Relation_Algebras/document/root.bib
The file was addedthys/Stone_Relation_Algebras/document/root.tex
The file was modified thys/ROOTS (diff)
Changeset 7619:d8eb0ee1ca69 by rene thiemann _rene.thiemann@uibk.ac.at_:
different ISABELLE_TOOL path for MacOS systems (... .app/Isabelle/...)
The file was modified admin/testall (diff)