From 4de4d8d2bf99270e189b3f72af9397ed3a46fa0f Mon Sep 17 00:00:00 2001 From: Florian Liekweg Date: Wed, 24 Nov 2004 14:53:10 +0000 Subject: [PATCH] Annotated after writing Tech Report [r4461] --- etc/effect.dtd | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) diff --git a/etc/effect.dtd b/etc/effect.dtd index 0efc47ab9..9df3aeca8 100644 --- a/etc/effect.dtd +++ b/etc/effect.dtd @@ -16,16 +16,16 @@ - + - + - + @@ -33,7 +33,7 @@ - + %firm.owner;> @@ -65,7 +65,7 @@ - + @@ -105,6 +105,9 @@