remove dumptree.ml4

This file was providing the "Dump Tree" command to display the state of a proof in XML. This command has been broken since the integration of Arnaud's proof engine. Nobody cared enough to adapt this to the new framework, moreover the trend is rather now to use the xml-base dialog mode of coqtop, so I simply remove this obsolete code. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15870 85f007b7-540e-0410-9357-904b9bb8a0f7
coq · Oct 6, 2012 · d2fd26a · d2fd26a
1 parent de8cee3
commit d2fd26a
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 110 deletions.
diff --git a/plugins/xml/dumptree.ml4 b/plugins/xml/dumptree.ml4
diff --git a/plugins/xml/xml_plugin.mllib b/plugins/xml/xml_plugin.mllib
@@ -7,5 +7,4 @@ Acic2Xml
 Xmlcommand
 Xmlentries
 Cic2Xml
-Dumptree
 Xml_plugin_mod