merge

.gitignore

omdoc-semantics/activdocs.tex

omdoc-semantics/intro.tex

omdoc-semantics/macros/a0poster.cls

omdoc-semantics/macros/a0size.sty

omdoc-semantics/macros/basics-slides.sty

omdoc-semantics/macros/basics.sty

omdoc-semantics/macros/bib/Morphisms.bib

omdoc-semantics/macros/bib/flirts.bib

omdoc-semantics/macros/bib/historical.bib

omdoc-semantics/macros/bib/institutions.bib

omdoc-semantics/macros/bib/modal.bib

omdoc-semantics/macros/bib/other.bib

omdoc-semantics/macros/bib/plainyr-rev.bst

omdoc-semantics/macros/bib/pub_rabe.bib

omdoc-semantics/macros/bib/rabe.bib

omdoc-semantics/macros/bib/systems.bib

omdoc-semantics/macros/crossref.sty

omdoc-semantics/macros/ded.sty

omdoc-semantics/macros/ed.sty