Obsolete files

3 files changed, 0 insertions, 48 deletions

diff --git a/etc/pgkit/xmltest1.xml b/etc/pgkit/xmltest1.xml
deleted file mode 100644
index 08ff0984..00000000
--- a/etc/pgkit/xmltest1.xml
+++ /dev/null
@@ -1,3 +0,0 @@
-<a>test a<b>test b<c>test</c></b>end test a</a>
-
-
diff --git a/etc/pgkit/xmltest2.xml b/etc/pgkit/xmltest2.xml
deleted file mode 100644
index cfc8b1e8..00000000
--- a/etc/pgkit/xmltest2.xml
+++ /dev/null
@@ -1,23 +0,0 @@
-<root>
- <q req_id="default_id"/>
- <p fixed="bad fixed value" enum="bad enum"/>
- <p>
-  <b/>
-  <c>
-   <unexpected/>
-   <undefined/>
-  </c>
-  <q req_id="unreferenced_id"/>
- </p>
- <n nmtoken="1bad nmtoken"/>
- <n nmtoken="default_nmtoken"/>
- <n/>
- <nn nmtokens="1bad nmtokens"/>
- <nn nmtokens="default_nmtoken"/>
- <nn/>
- <bad_id bad_idref="1bad ID"/>
- <bad_id/>
- <bad_ent bad_ent="1bad ENTITY"/>
- <bad_ent/>
- <empty>text in empty</empty>
-</root>
diff --git a/pgkit/README b/pgkit/README
deleted file mode 100644
index f7e50834..00000000
--- a/pgkit/README
+++ /dev/null
@@ -1,22 +0,0 @@
-About Proof General Kit
-=======================
-
-Proof General has been Emacs based so far, but plans are afoot to
-liberate it from the points and parentheses of Emacs Lisp.  The
-successor framework, Proof General Kit, proposes that proof assistants
-use a *standard* XML-based protocol for interactive proof, dubbed
-PGIP.  
-
-PGIP will allow a middleware layer for many interactive proof tools
-and interface components (including Emacs).  The design of PGIP was
-made possible by the present Emacs-based Proof General framework.  
-
-The code included here is not yet in a working state.  Check the latest
-development release of Proof General, and visit:
-
-	http://proofgeneral.inf.ed.ac.uk/kit
-
-
-
-		
-