From: Claudio Sacerdoti Coen Date: Mon, 5 Apr 2004 16:49:13 +0000 (+0000) Subject: XHTML character entities (used in the internal subset of .theory.xml files). X-Git-Tag: dead_dir_walking~90 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7e8e9075d1cf5bf28e7f63343a7a1f82dd577cb6;p=helm.git XHTML character entities (used in the internal subset of .theory.xml files). --- diff --git a/helm/dtd/xhtml-lat1.ent b/helm/dtd/xhtml-lat1.ent new file mode 100644 index 000000000..ffee223eb --- /dev/null +++ b/helm/dtd/xhtml-lat1.ent @@ -0,0 +1,196 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/dtd/xhtml-special.ent b/helm/dtd/xhtml-special.ent new file mode 100644 index 000000000..ca358b2fe --- /dev/null +++ b/helm/dtd/xhtml-special.ent @@ -0,0 +1,80 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/dtd/xhtml-symbol.ent b/helm/dtd/xhtml-symbol.ent new file mode 100644 index 000000000..63c2abfa6 --- /dev/null +++ b/helm/dtd/xhtml-symbol.ent @@ -0,0 +1,237 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +