From b23ae47a1f206e1f4cd810074c20ef23b2b9be3b Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Mon, 17 Feb 2014 10:45:31 +0900 Subject: [PATCH] comps.dtd, comps.rng: add environment and optionlist --- comps.dtd | 8 +++++++- comps.rng | 26 ++++++++++++++++++++++++++ 2 files changed, 33 insertions(+), 1 deletion(-) diff --git a/comps.dtd b/comps.dtd index 92c5ebc1..26bcd697 100644 --- a/comps.dtd +++ b/comps.dtd @@ -1,11 +1,14 @@ - + + + + @@ -41,3 +44,6 @@ + + + diff --git a/comps.rng b/comps.rng index e9a2cb73..ba924264 100644 --- a/comps.rng +++ b/comps.rng @@ -20,6 +20,9 @@ + + + @@ -120,6 +123,22 @@ + + + + + + + + + + + + + + + + @@ -140,6 +159,13 @@ + + + + + + +