From f8d64ae9e9b9a3c3a3010d1a9e97e979ee63b162 Mon Sep 17 00:00:00 2001
From: courtieu
Date: Fri, 29 Sep 2006 15:45:42 +0000
Subject: Added a new option -emacs-U changing emacs prompt delimiters by
 xml-like patterns (<prompt></prompt>).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9191 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/options.ml  | 1 +
 lib/options.mli | 1 +
 2 files changed, 2 insertions(+)

(limited to 'lib')

diff --git a/lib/options.ml b/lib/options.ml
index b2f2943aa6..e59a19bbb7 100644
--- a/lib/options.ml
+++ b/lib/options.ml
@@ -22,6 +22,7 @@ let batch_mode = ref false
 let debug = ref false
 
 let print_emacs = ref false
+let print_emacs_safechar = ref false
 
 let term_quality = ref false
 
diff --git a/lib/options.mli b/lib/options.mli
index 9fa408d921..7fa55e6367 100644
--- a/lib/options.mli
+++ b/lib/options.mli
@@ -17,6 +17,7 @@ val batch_mode : bool ref
 val debug : bool ref
 
 val print_emacs : bool ref
+val print_emacs_safechar : bool ref
 
 val term_quality : bool ref
 
-- 
cgit v1.2.3