Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged from afp-2016-1
  2. merged from afp-2016
  3. new entry Paraconsistency
Changeset 7495:1bf800171e17 by kleing:
merged from afp-2016-1
Changeset 7494:0a9050b518ee by gerwin klein _gerwin.klein@data61.csiro.au_:
merged from afp-2016
Changeset 7493:4b294093c8c1 by gerwin klein _gerwin.klein@data61.csiro.au_:
new entry Paraconsistency
The file was addedthys/Paraconsistency/Paraconsistency.thy
The file was addedthys/Paraconsistency/ROOT
The file was addedthys/Paraconsistency/document/root.tex
The file was addedweb/entries/Paraconsistency.shtml
The file was modified metadata/metadata (diff)
The file was modified thys/ROOTS (diff)
The file was modified web/index.shtml (diff)
The file was modified web/topics.shtml (diff)