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

fixing the dependencies in the MANIFEST.MF

parent 9b6ab782
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
META-INF/MANIFEST.MF
+ 1
− 1
View file @ 38737201
......@@ -2,7 +2,7 @@ id: MMT/LATIN2
narration-base: latin:/
ns : latin:/
classpath: bin lib/leo3.jar lib/scala-tptp-parser.jar
dependencies: MMT/urtheories
dependencies: MMT/meta-inf,MMT/urtheories,sTeX/meta-inf
responsible: florian.rabe@kwarc.info
title: LATIN logic atlas v.2
teaser: a modern redesign of the LATIN logic atlas
......
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