diff options
| author | letouzey | 2012-10-06 10:08:40 +0000 |
|---|---|---|
| committer | letouzey | 2012-10-06 10:08:40 +0000 |
| commit | d2fd26a0ac600d066e79df4ab33b9bc924de069d (patch) | |
| tree | 0acdc1fe40c1a35c0ecdb0012da15d436ef54686 /plugins/xml/xml_plugin.mllib | |
| parent | de8cee391af67aafc966c7cde8c3f0c4fff53da3 (diff) | |
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
Diffstat (limited to 'plugins/xml/xml_plugin.mllib')
| -rw-r--r-- | plugins/xml/xml_plugin.mllib | 1 |
1 files changed, 0 insertions, 1 deletions
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 |