From 4a8188a2b460ab014379c508abac933690b48555 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Sat, 6 Oct 2012 10:08:27 +0000
Subject: Clean-up : no more Proof_type.proof_tree

 Btw, remove unused code in the xml plugin and in Tactic_printer

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15863 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 plugins/xml/xml_plugin.mllib | 2 --
 1 file changed, 2 deletions(-)

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

diff --git a/plugins/xml/xml_plugin.mllib b/plugins/xml/xml_plugin.mllib
index 90797e8dd9..655ea957ec 100644
--- a/plugins/xml/xml_plugin.mllib
+++ b/plugins/xml/xml_plugin.mllib
@@ -4,9 +4,7 @@ Acic
 DoubleTypeInference
 Cic2acic
 Acic2Xml
-Proof2aproof
 Xmlcommand
-ProofTree2Xml
 Xmlentries
 Cic2Xml
 Dumptree
-- 
cgit v1.2.3