From 25161db3762eb037493d498de1719621643299d3 Mon Sep 17 00:00:00 2001
From: m-iancu <mihnea.iancu88@gmail.com>
Date: Thu, 2 Jun 2016 12:57:59 +0200
Subject: [PATCH] refactored, code/scripts to lib folder, content to gap
---
build.msl | 2 +-
{source => gap}/gap_ref_manual.xml | 0
lib/WApersons.tex | 12 ------------
{gap => lib}/compare.py | 0
{gap => lib}/docOnlyNames.txt | 0
{gap => lib}/gaptypes.g | 0
{gap => lib}/getNames.sh | 0
{gap => lib}/namesDoc.txt | 0
{gap => lib}/namesSys.txt | 0
lib/post.tex | 8 --------
lib/pre.tex | 4 ----
lib/preamble.tex | 3 ---
{gap => lib}/sharedNames.txt | 0
{gap => lib}/sysOnlyNames.txt | 0
14 files changed, 1 insertion(+), 28 deletions(-)
rename {source => gap}/gap_ref_manual.xml (100%)
delete mode 100755 lib/WApersons.tex
rename {gap => lib}/compare.py (100%)
rename {gap => lib}/docOnlyNames.txt (100%)
rename {gap => lib}/gaptypes.g (100%)
rename {gap => lib}/getNames.sh (100%)
rename {gap => lib}/namesDoc.txt (100%)
rename {gap => lib}/namesSys.txt (100%)
delete mode 100755 lib/post.tex
delete mode 100644 lib/pre.tex
delete mode 100644 lib/preamble.tex
rename {gap => lib}/sharedNames.txt (100%)
rename {gap => lib}/sysOnlyNames.txt (100%)
diff --git a/build.msl b/build.msl
index 14f35ff..d3b3682 100644
--- a/build.msl
+++ b/build.msl
@@ -21,7 +21,7 @@ log+ steximporter
//log+ scanner
//log+ lf
-extension info.kwarc.mmt.odk.GAP.GAPDocImporter
+extension info.kwarc.mmt.odk.GAP.GAPImporter
extension info.kwarc.mmt.stex.STeXImporter
extension info.kwarc.mmt.planetary.PlanetaryPlugin
extension info.kwarc.mmt.planetary.PlanetaryPresenter
diff --git a/source/gap_ref_manual.xml b/gap/gap_ref_manual.xml
similarity index 100%
rename from source/gap_ref_manual.xml
rename to gap/gap_ref_manual.xml
diff --git a/lib/WApersons.tex b/lib/WApersons.tex
deleted file mode 100755
index ae7e53b..0000000
--- a/lib/WApersons.tex
+++ /dev/null
@@ -1,12 +0,0 @@
-% A database of Persons for Metadata e.g.
-% \WAperson[id=miko,
-% birthdate=1996-09-13,
-% email=m.kohlhase@jacobs-university.de,
-% url=http://kwarc.info/kohlhase,
-% academictitle=Dr.,
-% affiliation={Jacobs University, Bremen},
-% department=Computer Science]
-% {Michael Kohlhase}
-% A minimal example is
-% \WAperson[id=miko]{Michael Kohlhase}
-% is also sufficient for the beginning
diff --git a/gap/compare.py b/lib/compare.py
similarity index 100%
rename from gap/compare.py
rename to lib/compare.py
diff --git a/gap/docOnlyNames.txt b/lib/docOnlyNames.txt
similarity index 100%
rename from gap/docOnlyNames.txt
rename to lib/docOnlyNames.txt
diff --git a/gap/gaptypes.g b/lib/gaptypes.g
similarity index 100%
rename from gap/gaptypes.g
rename to lib/gaptypes.g
diff --git a/gap/getNames.sh b/lib/getNames.sh
similarity index 100%
rename from gap/getNames.sh
rename to lib/getNames.sh
diff --git a/gap/namesDoc.txt b/lib/namesDoc.txt
similarity index 100%
rename from gap/namesDoc.txt
rename to lib/namesDoc.txt
diff --git a/gap/namesSys.txt b/lib/namesSys.txt
similarity index 100%
rename from gap/namesSys.txt
rename to lib/namesSys.txt
diff --git a/lib/post.tex b/lib/post.tex
deleted file mode 100755
index 2fab606..0000000
--- a/lib/post.tex
+++ /dev/null
@@ -1,8 +0,0 @@
-\bibliographystyle{alpha}
-\bibliography{kwarc}
-\printindex
-\end{document}
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: t
-%%% End:
\ No newline at end of file
diff --git a/lib/pre.tex b/lib/pre.tex
deleted file mode 100644
index 7c96538..0000000
--- a/lib/pre.tex
+++ /dev/null
@@ -1,4 +0,0 @@
-\documentclass{omdoc}
-\input{localpaths}
-\input{\MathHub{ODK/GAP/lib/preamble}}
-\begin{document}
diff --git a/lib/preamble.tex b/lib/preamble.tex
deleted file mode 100644
index 914399d..0000000
--- a/lib/preamble.tex
+++ /dev/null
@@ -1,3 +0,0 @@
-\usepackage{stex}
-\usepackage[USenglish]{smultiling}
-\usepackage[bookmarks,linkcolor=black,citecolor=black,urlcolor=black,colorlinks,breaklinks,bookmarksopen,bookmarksnumbered]{hyperref}
diff --git a/gap/sharedNames.txt b/lib/sharedNames.txt
similarity index 100%
rename from gap/sharedNames.txt
rename to lib/sharedNames.txt
diff --git a/gap/sysOnlyNames.txt b/lib/sysOnlyNames.txt
similarity index 100%
rename from gap/sysOnlyNames.txt
rename to lib/sysOnlyNames.txt
--
GitLab