diff options
author | 2002-11-05 16:59:25 +0000 | |
---|---|---|
committer | 2002-11-05 16:59:25 +0000 | |
commit | 9f2ec7fc9f1ed08be8bc5a09d352951073a69633 (patch) | |
tree | c5f06d5b112ed9731f71c98910d6f69852b3de5b /contrib/xml/xmlcommand.mli | |
parent | 1f95f087d79d6c2c79012921ce68553caf20b090 (diff) |
Intégration de la branche mowgli
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3213 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'contrib/xml/xmlcommand.mli')
-rw-r--r-- | contrib/xml/xmlcommand.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/contrib/xml/xmlcommand.mli b/contrib/xml/xmlcommand.mli index 485bb93c2..4690e21c1 100644 --- a/contrib/xml/xmlcommand.mli +++ b/contrib/xml/xmlcommand.mli @@ -35,6 +35,7 @@ val print : Libnames.qualid Util.located -> string option -> unit (* pretty prints via Xml.pp the proof in progress on dest *) val show : string option -> unit +(*CSC: untested, no more working or semantics unclear (* print All () prints what is the structure of the current environment of *) (* Coq. No terms are printed. Useful only for debugging *) val printAll : unit -> unit @@ -56,3 +57,4 @@ val printLibrary : Libnames.qualid Util.located -> string option -> unit (* Note: the terms are printed in their uncooked form plus the informations *) (* on the parameters of their most cooked form *) val printSection : Names.identifier -> string option -> unit +*) |