Commit e8d3ba2f authored by Michael Kohlhase's avatar Michael Kohlhase

OMDoc

parent dd7ca22b
......@@ -2,3 +2,4 @@ id: MiKoMH/KWARC
source-base: http://mathhub.info/MiKoMH/KWARC
narration-base: http://mathhub.info/MiKoMH/KWARC
dependencies:
no-omdoc:.*/tikz/.*
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment