milestone update in ground

[helm.git] / matita / matita / contribs / lambdadelta / bin / recomm / recommLexer.mll

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/recommLexer.mll b/matita/matita/contribs/lambdadelta/bin/recomm/recommLexer.mll
index 99ff840af11fddea6f36185c88ce325d03a0c248..596a909c8d472f9bc199585205ec8f63480c919b 100644 (file)
--- a/matita/matita/contribs/lambdadelta/bin/recomm/recommLexer.mll
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/recommLexer.mll
@@ -5,10 +5,12 @@
 
   let keys = [|
     "Note";
+    "NOTE";
   |]
 
   let heads = [|
     "Advanced";
+    "Alternative";
     "Basic";
     "Constructions";
     "Forward";
@@ -37,9 +39,9 @@
     aux (String.length s - 1)
 
   let disambiguate_word s =
-    if is_uppercase_ascii s then EP.CW s else
     if Array.mem s keys then EP.KW s else
     if Array.mem s heads then EP.HW s else
+    if is_uppercase_ascii s then EP.CW s else
     EP.SW s
 
   let log s =