Added errors folder

9ce9de56 · Dennis Müller · 29646006 · 9ce9de56 · 9ce9de56 · 9ce9de56
Commit 9ce9de56 authored 7 years ago by Dennis Müller
--- a/errors/gap-omdoc/.err
+++ b/errors/gap-omdoc/.err
+<errors>
+</errors>
--- a/errors/gap-omdoc/gaptypes.json.err
+++ b/errors/gap-omdoc/gaptypes.json.err
+<errors>
+</errors>
--- a/errors/mmt-omdoc/.err
+++ b/errors/mmt-omdoc/.err
+<errors>
+</errors>
--- a/errors/mmt-omdoc/types.mmt.err
+++ b/errors/mmt-omdoc/types.mmt.err
+<errors>
+</errors>
--- a/relational/.rel
+++ b/relational/.rel
 document http://www.gap-system.org
+Declares http://www.gap-system.org http://www.gap-system.org/grp.omdoc
+Declares http://www.gap-system.org http://www.gap-system.org/lib.omdoc
+Declares http://www.gap-system.org http://www.gap-system.org/pkg
+Declares http://www.gap-system.org http://www.gap-system.org/prim.omdoc
+Declares http://www.gap-system.org http://www.gap-system.org/small.omdoc
+Declares http://www.gap-system.org http://www.gap-system.org/types.omdoc