From 6f3442abe8e3bb415c45ef2e1d180aa632986e2c Mon Sep 17 00:00:00 2001 From: m-iancu <mihnea.iancu88@gmail.com> Date: Wed, 1 Jun 2016 22:43:53 +0200 Subject: [PATCH] update build msl after refactoring gapdoc importer + minor fixes --- build.msl | 2 +- gap/compare.py | 2 +- source/example.xml | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/build.msl b/build.msl index 7bf1998..14f35ff 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 fb503fb..6aea504 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 65cee02..3535972 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. -- GitLab