Skip to content
Snippets Groups Projects
Commit 6f3442ab authored by m-iancu's avatar m-iancu
Browse files

update build msl after refactoring gapdoc importer + minor fixes

parent 740714db
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
build.msl
+ 1
− 1
View file @ 6f3442ab
...@@ -21,7 +21,7 @@ log+ steximporter ...@@ -21,7 +21,7 @@ log+ steximporter
//log+ scanner //log+ scanner
//log+ lf //log+ lf
extension info.kwarc.mmt.gap.GAPImporter extension info.kwarc.mmt.odk.GAP.GAPDocImporter
extension info.kwarc.mmt.stex.STeXImporter extension info.kwarc.mmt.stex.STeXImporter
extension info.kwarc.mmt.planetary.PlanetaryPlugin extension info.kwarc.mmt.planetary.PlanetaryPlugin
extension info.kwarc.mmt.planetary.PlanetaryPresenter extension info.kwarc.mmt.planetary.PlanetaryPresenter
......
gap/compare.py
+ 1
− 1
View file @ 6f3442ab
...@@ -39,4 +39,4 @@ son.close ...@@ -39,4 +39,4 @@ son.close
print 'Shared: ', len(shared) print 'Shared: ', len(shared)
print 'Doc Only: ', len(docOnly) print 'Doc Only: ', len(docOnly)
print 'Sys Only: ', len(sysOnly) print 'Sys Only: ', len(sysOnly)
\ No newline at end of file
source/example.xml
+ 1
− 1
View file @ 6f3442ab
...@@ -10,7 +10,7 @@ ...@@ -10,7 +10,7 @@
<TitlePage> <TitlePage>
<Title>A Complete Example (&see; <Ref Sect="One"/>)</Title> <Title>A Complete Example (&see; <Ref Sect="One"/>)</Title>
<Subtitle>Every element shows up</Subtitle> <Subtitle>Every element shows up</Subtitle>
<Version>Version <#Include SYSTEM "../version"></Version> <Version>Version </Version>
<TitleComment> <TitleComment>
If the subtitle ist not sufficient, this &lt;TitleComment> If the subtitle ist not sufficient, this &lt;TitleComment>
element can be used for a slightly longer text on the front page. element can be used for a slightly longer text on the front page.
......
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