diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2013-11-27 17:33:56 +0100 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2013-11-27 17:33:56 +0100 |
| commit | 03f268c1c4a872ec37a0995174c305c172339f53 (patch) | |
| tree | 6c9ef974f70af89cbf12869a992c4c7227d88252 /toplevel/coqtop.ml | |
| parent | d5451ad4fc55c38ea0a7a1687dfc80c2bb0f9d13 (diff) | |
New option --help-XML-protocol to document the XML procol used by -ideslave
Serialize.ml spits out its own documentation. Not everything is
statically checked, so it risks to get outdated. Ideas on how
to statically/dynamically check that the doc is in sync are welcome.
Diffstat (limited to 'toplevel/coqtop.ml')
| -rw-r--r-- | toplevel/coqtop.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml index b97042ede..f3bcee128 100644 --- a/toplevel/coqtop.ml +++ b/toplevel/coqtop.ml @@ -298,6 +298,7 @@ let parse_args arglist = |"-filteropts" -> filter_opts := true |"-force-load-proofs" -> Flags.load_proofs := Flags.Force |"-h"|"-H"|"-?"|"-help"|"--help" -> usage () + |"--help-XML-protocol" -> Serialize.document Xml_printer.to_string_fmt; exit 0 |"-ideslave" -> Flags.ide_slave := true |"-impredicative-set" -> set_engagement Declarations.ImpredicativeSet |"-just-parsing" -> Vernac.just_parsing := true |