From d2fd26a0ac600d066e79df4ab33b9bc924de069d Mon Sep 17 00:00:00 2001
From: letouzey
Date: Sat, 6 Oct 2012 10:08:40 +0000
Subject: 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
---
 plugins/xml/xml_plugin.mllib | 1 -
 1 file changed, 1 deletion(-)

(limited to 'plugins/xml/xml_plugin.mllib')

diff --git a/plugins/xml/xml_plugin.mllib b/plugins/xml/xml_plugin.mllib
index 655ea957ec..27b0ef36f7 100644
--- a/plugins/xml/xml_plugin.mllib
+++ b/plugins/xml/xml_plugin.mllib
@@ -7,5 +7,4 @@ Acic2Xml
 Xmlcommand
 Xmlentries
 Cic2Xml
-Dumptree
 Xml_plugin_mod
-- 
cgit v1.2.3