diff --git a/build.msl b/build.msl index 7bf1998718b57849569141bfa93a968baff64aa0..14f35ff59b41dc25724d90e01301e99c2b5e62ce 100644 --- a/build.msl +++ b/build.msl @@ -21,7 +21,7 @@ log+ steximporter //log+ scanner //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.planetary.PlanetaryPlugin extension info.kwarc.mmt.planetary.PlanetaryPresenter diff --git a/gap/compare.py b/gap/compare.py index fb503fb8a69e6b9c3aa387d74d55a58b0f5b9891..6aea5049cbd10d557cbcff6798e40b56c2779c53 100755 --- a/gap/compare.py +++ b/gap/compare.py @@ -39,4 +39,4 @@ son.close print 'Shared: ', len(shared) print 'Doc Only: ', len(docOnly) -print 'Sys Only: ', len(sysOnly) \ No newline at end of file +print 'Sys Only: ', len(sysOnly) diff --git a/source/example.xml b/source/example.xml index 65cee02bc1e1a8ebd2df78bb40054986971ed204..3535972f6bc23d7968671df9b4acfac9d4bf6d38 100644 --- a/source/example.xml +++ b/source/example.xml @@ -10,7 +10,7 @@ <TitlePage> <Title>A Complete Example (&see; <Ref Sect="One"/>)</Title> <Subtitle>Every element shows up</Subtitle> - <Version>Version <#Include SYSTEM "../version"></Version> + <Version>Version </Version> <TitleComment> If the subtitle ist not sufficient, this <TitleComment> element can be used for a slightly longer text on the front page.