From 9ce9de567505d71003127b56db1de1251b1091ba Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Dennis=20M=C3=BCller?= <d.mueller@jacobs-university.de> Date: Tue, 25 Apr 2017 00:39:20 +0200 Subject: [PATCH] Added errors folder --- errors/gap-omdoc/.err | 2 ++ errors/gap-omdoc/gaptypes.json.err | 2 ++ errors/mmt-omdoc/.err | 2 ++ errors/mmt-omdoc/types.mmt.err | 2 ++ relational/.rel | 6 ++++++ 5 files changed, 14 insertions(+) create mode 100644 errors/gap-omdoc/.err create mode 100644 errors/gap-omdoc/gaptypes.json.err create mode 100644 errors/mmt-omdoc/.err create mode 100644 errors/mmt-omdoc/types.mmt.err diff --git a/errors/gap-omdoc/.err b/errors/gap-omdoc/.err new file mode 100644 index 0000000..a003a31 --- /dev/null +++ b/errors/gap-omdoc/.err @@ -0,0 +1,2 @@ +<errors> +</errors> diff --git a/errors/gap-omdoc/gaptypes.json.err b/errors/gap-omdoc/gaptypes.json.err new file mode 100644 index 0000000..a003a31 --- /dev/null +++ b/errors/gap-omdoc/gaptypes.json.err @@ -0,0 +1,2 @@ +<errors> +</errors> diff --git a/errors/mmt-omdoc/.err b/errors/mmt-omdoc/.err new file mode 100644 index 0000000..a003a31 --- /dev/null +++ b/errors/mmt-omdoc/.err @@ -0,0 +1,2 @@ +<errors> +</errors> diff --git a/errors/mmt-omdoc/types.mmt.err b/errors/mmt-omdoc/types.mmt.err new file mode 100644 index 0000000..a003a31 --- /dev/null +++ b/errors/mmt-omdoc/types.mmt.err @@ -0,0 +1,2 @@ +<errors> +</errors> diff --git a/relational/.rel b/relational/.rel index 399f95b..39aced0 100644 --- a/relational/.rel +++ b/relational/.rel @@ -1 +1,7 @@ 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 -- GitLab