Skip to content
Snippets Groups Projects
Unverified Commit 5cf95ba2 authored by Colin Rothgang's avatar Colin Rothgang
Browse files

Merge branch 'master' of mathhub:MMT/LATIN2

parents 8916189f 38737201
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 @ 5cf95ba2
......@@ -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