Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged from afp-2016
  2. tuned url
  3. tuned
  4. added publication info
  5. typo
  6. Chord_Segments webpage
  7. Chord_Segments new
  8. Allen's Interval Calculus: new topics
  9. Allen_Calculus webpage
  10. Allen_Calculus new
Changeset 7193:455328902160 by kleing:
merged from afp-2016
Changeset 7192:9e02b3bfe44f by nipkow:
tuned url
The file was modified metadata/metadata (diff)
The file was modified web/entries/List_Update.shtml (diff)
Changeset 7191:98764ccb4ca4 by nipkow:
tuned
The file was modified metadata/metadata (diff)
Changeset 7190:29a663b2e267 by nipkow:
added publication info
The file was modified metadata/metadata (diff)
The file was modified web/entries/List_Update.shtml (diff)
Changeset 7189:94ce70078c45 by paulson _lp15@cam.ac.uk_:
typo
The file was modified metadata/metadata (diff)
The file was modified web/entries/Chord_Segments.shtml (diff)
Changeset 7188:f8b6f4046938 by paulson _lp15@cam.ac.uk_:
Chord_Segments webpage
The file was addedweb/entries/Chord_Segments.shtml
The file was modified metadata/metadata (diff)
The file was modified thys/Chord_Segments/ROOT (diff)
The file was modified web/entries/Triangle.shtml (diff)
The file was modified web/index.shtml (diff)
The file was modified web/topics.shtml (diff)
Changeset 7187:f6eb1a39c71b by paulson _lp15@cam.ac.uk_:
Chord_Segments new
The file was addedthys/Chord_Segments/Chord_Segments.thy
The file was addedthys/Chord_Segments/ROOT
The file was addedthys/Chord_Segments/document/root.bib
The file was addedthys/Chord_Segments/document/root.tex
The file was modified thys/ROOTS (diff)
Changeset 7186:f75eeb3ba145 by paulson _lp15@cam.ac.uk_:
Allen's Interval Calculus: new topics
The file was modified metadata/metadata (diff)
The file was modified web/topics.shtml (diff)
Changeset 7185:e15f659fda2e by paulson _lp15@cam.ac.uk_:
Allen_Calculus webpage
The file was addedweb/entries/Allen_Calculus.shtml
The file was modified metadata/metadata (diff)
The file was modified web/index.shtml (diff)
Changeset 7184:7d698b4639eb by paulson _lp15@cam.ac.uk_:
Allen_Calculus new
The file was addedthys/Allen_Calculus/ROOT
The file was addedthys/Allen_Calculus/allen.thy
The file was addedthys/Allen_Calculus/axioms.thy
The file was addedthys/Allen_Calculus/disjoint_relations.thy
The file was addedthys/Allen_Calculus/document/root.tex
The file was addedthys/Allen_Calculus/examples.thy
The file was addedthys/Allen_Calculus/jointly_exhaustive.thy
The file was addedthys/Allen_Calculus/nest.thy
The file was addedthys/Allen_Calculus/xor_cal.thy
The file was modified thys/ROOTS (diff)