Added matitadaemon.

[helm.git] / matitaB / components / content_pres / cicNotationLexer.ml

diff --git a/matitaB/components/content_pres/cicNotationLexer.ml b/matitaB/components/content_pres/cicNotationLexer.ml
index 2f428babc9801beabaeeef4a8f2c9d6ec5108f5f..ce8fcec54b9fba727c1f97c40c6c203029946f72 100644 (file)
--- a/matitaB/components/content_pres/cicNotationLexer.ml
+++ b/matitaB/components/content_pres/cicNotationLexer.ml
@@ -73,10 +73,10 @@ let regexp uri =
   ("(" number (',' number)* ")")?  (* reference spec *)
 
 let regexp qstring = '"' [^ '"']* '"'
-let regexp hreftag = "<A"
+let regexp hreftag = "<" [ 'A' 'a' ]
 let regexp href = "href=\"" uri "\""
 let regexp hreftitle = "title=" qstring
-let regexp hrefclose = "</A>"
+let regexp hrefclose = "</" [ 'A' 'a' ] ">"
 
 let regexp tex_token = '\\' ident