diff options
| author | herbelin | 2002-09-16 11:08:12 +0000 |
|---|---|---|
| committer | herbelin | 2002-09-16 11:08:12 +0000 |
| commit | 41129a8d695574d0a9793aa2f4e5adb09126d9fb (patch) | |
| tree | af90c1cc2a7fc8735ab92d186f721c6cf4436297 | |
| parent | dc5169d0e4bdf6569c3776aff819bfcb383379a9 (diff) | |
Un peu plus de flexibilité pour la position du '.' final
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3010 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | tools/coq-tex.ml4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/coq-tex.ml4 b/tools/coq-tex.ml4 index 541777d6e4..adc53890dc 100644 --- a/tools/coq-tex.ml4 +++ b/tools/coq-tex.ml4 @@ -76,7 +76,7 @@ let begin_coq_example = let begin_coq_eval = Str.regexp "\\\\begin{coq_eval}[ \t]*$" let end_coq_example = Str.regexp "\\\\end{coq_\(example\|example\*\|example\#\)}[ \t]*$" let end_coq_eval = Str.regexp "\\\\end{coq_eval}[ \t]*$" -let dot_end_line = Str.regexp "\\.[ \t]*$" +let dot_end_line = Str.regexp "\\.[ \t]*\((\*.*\*)\)?[ \t]*$" let has_match r s = try let _ = Str.search_forward r s 0 in true with Not_found -> false |