diff options
author | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-10-06 10:08:40 +0000 |
---|---|---|
committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-10-06 10:08:40 +0000 |
commit | d2fd26a0ac600d066e79df4ab33b9bc924de069d (patch) | |
tree | 0acdc1fe40c1a35c0ecdb0012da15d436ef54686 /doc/tutorial | |
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 'doc/tutorial')
0 files changed, 0 insertions, 0 deletions