diff options
author | 2003-06-12 15:57:48 +0000 | |
---|---|---|
committer | 2003-06-12 15:57:48 +0000 | |
commit | 34e73d0e0e1e997a05307eaa2fab97d694271efa (patch) | |
tree | a400103c8612d5b51a79128820df9ec430ce4c4a /lib/options.mli | |
parent | f1dde2a39ea8230ab44eaa4ed4c69d716b64f0ce (diff) |
Ajout option translate_syntax pour caractériser l'interprétation du traducteur à proprement parler
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4139 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'lib/options.mli')
-rw-r--r-- | lib/options.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/options.mli b/lib/options.mli index a65958e4f..db6ee1d5b 100644 --- a/lib/options.mli +++ b/lib/options.mli @@ -23,6 +23,8 @@ val term_quality : bool ref val xml_export : bool ref +val dont_load_proofs : bool ref + val v7 : bool ref val v7_only : bool ref @@ -31,6 +33,7 @@ val make_translate : bool -> unit val do_translate : unit -> bool val translate_file : bool ref val p1 : bool ref +val translate_syntax : bool ref val make_silent : bool -> unit val is_silent : unit -> bool |