-
- Downloads
removing obsolete stuff
Showing
- omdoc-semantics/basics.sty 0 additions, 0 deletionsomdoc-semantics/basics.sty
- omdoc-semantics/macros/a0poster.cls 0 additions, 275 deletionsomdoc-semantics/macros/a0poster.cls
- omdoc-semantics/macros/a0size.sty 0 additions, 252 deletionsomdoc-semantics/macros/a0size.sty
- omdoc-semantics/macros/basics-slides.sty 0 additions, 34 deletionsomdoc-semantics/macros/basics-slides.sty
- omdoc-semantics/macros/bib/Morphisms.bib 0 additions, 635 deletionsomdoc-semantics/macros/bib/Morphisms.bib
- omdoc-semantics/macros/bib/flirts.bib 0 additions, 3141 deletionsomdoc-semantics/macros/bib/flirts.bib
- omdoc-semantics/macros/bib/historical.bib 0 additions, 393 deletionsomdoc-semantics/macros/bib/historical.bib
- omdoc-semantics/macros/bib/institutions.bib 0 additions, 356 deletionsomdoc-semantics/macros/bib/institutions.bib
- omdoc-semantics/macros/bib/modal.bib 0 additions, 384 deletionsomdoc-semantics/macros/bib/modal.bib
- omdoc-semantics/macros/bib/other.bib 0 additions, 73 deletionsomdoc-semantics/macros/bib/other.bib
- omdoc-semantics/macros/bib/plainyr-rev.bst 0 additions, 1302 deletionsomdoc-semantics/macros/bib/plainyr-rev.bst
- omdoc-semantics/macros/bib/pub_rabe.bib 0 additions, 1019 deletionsomdoc-semantics/macros/bib/pub_rabe.bib
- omdoc-semantics/macros/bib/rabe.bib 0 additions, 1564 deletionsomdoc-semantics/macros/bib/rabe.bib
- omdoc-semantics/macros/bib/systems.bib 0 additions, 1660 deletionsomdoc-semantics/macros/bib/systems.bib
- omdoc-semantics/macros/crossref.sty 0 additions, 18 deletionsomdoc-semantics/macros/crossref.sty
- omdoc-semantics/macros/ded.sty 0 additions, 183 deletionsomdoc-semantics/macros/ded.sty
- omdoc-semantics/macros/ed.sty 0 additions, 156 deletionsomdoc-semantics/macros/ed.sty
- omdoc-semantics/macros/interactive.tex 0 additions, 79 deletionsomdoc-semantics/macros/interactive.tex
- omdoc-semantics/macros/llncs.cls 0 additions, 1210 deletionsomdoc-semantics/macros/llncs.cls
- omdoc-semantics/macros/mmt-latex.sty 0 additions, 13 deletionsomdoc-semantics/macros/mmt-latex.sty
File moved
omdoc-semantics/macros/a0poster.cls
deleted
100644 → 0
omdoc-semantics/macros/a0size.sty
deleted
100644 → 0
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
omdoc-semantics/macros/bib/modal.bib
deleted
100644 → 0
This diff is collapsed.
omdoc-semantics/macros/bib/other.bib
deleted
100644 → 0
This diff is collapsed.
This diff is collapsed.
omdoc-semantics/macros/bib/rabe.bib
deleted
100644 → 0
This diff is collapsed.
This diff is collapsed.
omdoc-semantics/macros/crossref.sty
deleted
100644 → 0
omdoc-semantics/macros/ded.sty
deleted
100644 → 0
This diff is collapsed.
omdoc-semantics/macros/ed.sty
deleted
100644 → 0
This diff is collapsed.
omdoc-semantics/macros/llncs.cls
deleted
100644 → 0
This diff is collapsed.
omdoc-semantics/macros/mmt-latex.sty
deleted
100644 → 0
Please register or sign in to comment