new

5576d5e4 · Michael Kohlhase · 5576d5e4 · 5576d5e4
Commit 5576d5e4 authored 6 years ago by Michael Kohlhase
--- a/META-INF/MANIFEST.MF
+++ b/META-INF/MANIFEST.MF
+id: MitM/almanac
+source-base: http://mathhub.info/MitM/almanac
+classpath: bin
+narration-base: http://mathhub.info/MitM/almanac
+dependencies: MitM/Foundation 
+responsible: d.mueller@kwarc.info
+title:Math in the Middle - Almanac Experiments
+teaser:<p>Experiments for Argumentation Frameworks</p>
+description:desc.html
--- a/META-INF/desc.html
+++ b/META-INF/desc.html
+<p>This math archive contains experiments on argumentation frameworks for the <a
+href="http://kwarc.info/projects/almanac/">ALMANAC project</a>.</p>