From 5e5d618bc8e642f0052dd5b99d5db97a452b8284 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 2 Oct 2001 15:03:58 +0000
Subject: Encapsulage des '<' et '>' pour éviter le regroupement '«'

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2092 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/coq-tex.ml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tools/coq-tex.ml b/tools/coq-tex.ml
index 050db333b5..541777d6e4 100644
--- a/tools/coq-tex.ml
+++ b/tools/coq-tex.ml
@@ -94,6 +94,8 @@ let tex_escaped s =
 		 | [< ''^'  >] -> "\\char'136" 
 		 | [< ''~'  >] -> "\\char'176"
 		 | [< '' '  >] -> "~"
+		 | [< ''<'  >] -> "{<}"
+		 | [< ''>'  >] -> "{>}"
 		 | [< 'c >]    -> String.make 1 c);
 	 s2 = trans >] -> s1 ^ s2
     | [< >] -> ""
-- 
cgit v1.2.3