c94ee4e01612 — Benedikt Fluhr <http://bfluhr.com> default tip 7 years ago
Added File forgotten with last Commit
d8d0d68546ae — Benedikt Fluhr <http://bfluhr.com> 7 years ago
Discussion of the Join Precosheaf
343ef1eebcbe — Benedikt Fluhr <http://bfluhr.com> 7 years ago
Removed a somewhat vague Statement
17788065ecfc — Benedikt Fluhr <http://bfluhr.com> 7 years ago
Added Citations to recent Research

Added citations to both, the recent paper by
de Silva, Munch, and Stefanou and our poster.
f468dad6c16c — Benedikt Fluhr <http://bfluhr.com> 7 years ago
More thorough Treatment of -D-Categories

A more thorough (not perfect) treatment of -D-categories.
726999dab694 — Benedikt Fluhr <http://bfluhr.com> 7 years ago
Fixed Typo
90d1728df0c0 — Benedikt Fluhr <http://bfluhr.com> 7 years ago
Fixed Mistake in second Example for Join Trees
3c8b8166ae45 — Benedikt Fluhr <http://bfluhr.com> 7 years ago
Adjusted 'build-script', Metadata, Subrepostates
94507d9882e3 — Benedikt Fluhr <http://bfluhr.com> 7 years ago
Now using YAML Structure File
d8f93fb2e9c2 — Benedikt Fluhr <http://bfluhr.com> 7 years ago
Added Yaml File describing Structure
45765fa1bd78 — Benedikt Fluhr <http://bfluhr.com> 7 years ago
Integrated Images into 'build-script'
56daf3a2c355 — Benedikt Fluhr <http://bfluhr.com> 7 years ago
Switch to Python 3
805091eade88 — Benedikt Fluhr <http://bfluhr.com> 7 years ago
Some Formulas on their own Line
0c0495aee65c — Benedikt Fluhr <http://bfluhr.com> 7 years ago
Reformulations
61b936f5dd92 — Benedikt Fluhr <http://bfluhr.com> 7 years ago
Reformulations
b7414fe14a85 — Benedikt Fluhr <http://bfluhr.com> 7 years ago
Reformulations
ba3c80e3b245 — Benedikt Fluhr <http://bfluhr.com> 7 years ago
Renamed extended Pers.-Enhancement to complete ...
f97fa41e608c — Benedikt Fluhr <http://bfluhr.com> 7 years ago
Better Exposition of Proofs
f703c96ee5ea — Benedikt Fluhr <http://bfluhr.com> 7 years ago
Proof of Compatibility Lemma
351059c72074 — Benedikt Fluhr <http://bfluhr.com> 7 years ago
Some Parts rewritten
Next