Skip to content
Snippets Groups Projects
Commit be9fb7da authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

bla

parent 3c72f903
No related branches found
No related tags found
No related merge requests found
errors
*~
*.sms
*.omdoc
*.pdf
*.errlog
*.bbl
*.blg
*.out
*.synctex.gz
*.run.xml
*.thm
*.bak
*.idx
*.ind
*.ilg
*.log
*.toc
*.aux
localpaths.tex
auto
*.nav
*.snm
*.vrb
all.*.tex
all.tex
*.clog
*.vrb
*.nav
*.snm
relational/*
narration_present_html/*
*.pdflog
.DS_Store
*.ltxlog
......@@ -2,7 +2,7 @@ id: MitM/Models
source-base: http://mathhub.info/MitM/Models
classpath: bin
narration-base: http://mathhub.info/MitM/Models
dependencies:
dependencies: MitM/Foundation,MitM/numberfields,MitM/meta-inf
responsible: d.mueller@kwarc.info
title:Math in the Middle Fountation
teaser:<p>The logical foundation for all Math-in-the-Middle theories</p>
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment