From 28677364f03d66dfacfe67c5b1b6c40136fbd8f0 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Sun, 13 Sep 2009 21:01:55 +0000
Subject: [PATCH] some more letters

---
 helm/software/matita/predefined_virtuals.ml | 104 ++++++++++----------
 1 file changed, 52 insertions(+), 52 deletions(-)

diff --git a/helm/software/matita/predefined_virtuals.ml b/helm/software/matita/predefined_virtuals.ml
index a263c03bd..31d6e8499 100644
--- a/helm/software/matita/predefined_virtuals.ml
+++ b/helm/software/matita/predefined_virtuals.ml
@@ -1510,58 +1510,58 @@ let predefined_classes = [
  ["â¡"; "â½"; "âª"; "â¾"; ];
  ["â"; "â¢"; "â§«"; "â¦"; ];
  [">"; "âª"; "Â»"; ];       
- ["a"; "Î±"; "ð"; ] ;
- ["A"; "âµ"; "ð¸"; ] ;
- ["b"; "Î²"; "Ã"; "ð"; ] ;
- ["B"; "â¶"; "â¬"; "ð¹"; ] ;
- ["c"; "ð"; ] ;
- ["C"; "â­"; "â"; ] ;
- ["d"; "Î´"; "â"; "ð"; "â"; ] ;
- ["D"; "Î"; "ð»"; "â"; ] ;
- ["e"; "É"; "Îµ"; "Ïµ"; "Ð"; "â¯"; "ð"; "â"; ] ;
- ["E"; "â°"; "ð¼"; ] ;
- ["f"; "Ï"; "Ï"; "Ï"; "â¨"; "ð"; ] ;
- ["F"; "Î¦"; "Î¨"; "â±"; "ð½"; ] ;
- ["g"; "Î³"; "â"; "ð"; ] ;
- ["G"; "Î"; "ð¾"; ] ;
- ["h"; "Î·"; "â"; "â"; "ð"; ] ;
- ["H"; "â"; "â"; ] ;
- ["i"; "Î¹"; "â"; "ð"; "â"; ] ;
- ["I"; "ð"; ] ;
- ["j"; "ð"; ] ;
- ["J"; "Ð"; "ð"; ] ;
- ["k"; "Îº"; "ð"; ] ;
- ["K"; "ð"; ] ;
- ["l"; "Î»"; "ð"; ] ;
- ["L"; "Î"; "ð"; ] ;
- ["m"; "Î¼"; "ð"; ] ;
- ["M"; "â³"; "ð"; ] ;
- ["n"; "ð"; ] ;
- ["N"; "â"; "â"; ] ;
- ["o"; "Î¸"; "Ï"; "ð "; "â";  "Ã¸"; "â"; ] ;
- ["O"; "Î"; "ð"; ] ;
- ["p"; "Ï"; "ð¡"; ] ;
- ["P"; "Î "; "â"; "â"; ] ;
- ["q"; "ð¢"; ] ;
- ["Q"; "â"; ] ;
- ["r"; "Ï"; "Ï±"; "ð£"; ] ;
- ["R"; "â"; "â"; "â"; ] ;
- ["s"; "Ï"; "Ï"; "ð¤"; ] ;
- ["S"; "Î£"; "ð"; ] ;
- ["t"; "Ï"; "ð¥"; ] ;
- ["T"; "ð"; ] ;
- ["u"; "ð¦"; ] ;
- ["U"; "ð"; ] ;
- ["v"; "Î½"; "ð§"; ] ;
- ["V"; "ð"; ] ;
- ["w"; "Ï"; "ð¨"; ] ;
- ["W"; "Î©"; "ð"; ] ;
- ["x"; "Î¾"; "Ï"; "Ï°"; "ð©"; ] ;
- ["X"; "Î"; "ð"; ] ;
- ["y"; "Ï"; "ðª"; ] ;
- ["Y"; "Ï"; "ð"; ] ;
- ["z"; "Î¶"; "ð«"; ] ;
- ["Z"; "â¨"; "â¤"; ] ;
+ ["a"; "Î±"; "ð"; "ð";] ;
+ ["A"; "âµ"; "ð¸"; "ð";] ;
+ ["b"; "Î²"; "Ã"; "ð"; "ð"; ] ;
+ ["B"; "â¶"; "â¬"; "ð¹"; "ð";] ;
+ ["c"; "ð"; "ð";] ;
+ ["C"; "â­"; "â"; "ð";] ;
+ ["d"; "Î´"; "â"; "ð"; "â"; "ð";] ;
+ ["D"; "Î"; "ð»"; "â"; "ð";] ;
+ ["e"; "É"; "Îµ"; "Ïµ"; "Ð"; "â¯"; "ð"; "â"; "ð";] ;
+ ["E"; "â°"; "ð¼"; "ð";] ;
+ ["f"; "Ï"; "Ï"; "Ï"; "â¨"; "ð"; "ð";] ;
+ ["F"; "Î¦"; "Î¨"; "â±"; "ð½"; "ð";] ;
+ ["g"; "Î³"; "â"; "ð"; "ð ";] ;
+ ["G"; "Î"; "ð¾"; "ð";] ;
+ ["h"; "Î·"; "â"; "â"; "ð"; "ð¡";] ;
+ ["H"; "â"; "â"; "ð";] ;
+ ["i"; "Î¹"; "â"; "ð"; "â"; "ð¢";] ;
+ ["I"; "ð"; "ð";] ;
+ ["j"; "ð"; "ð£";] ;
+ ["J"; "Ð"; "ð"; "ð";] ;
+ ["k"; "Îº"; "ð"; "ð¤";] ;
+ ["K"; "ð"; "ð";] ;
+ ["l"; "Î»"; "ð"; "ð¥";] ;
+ ["L"; "Î"; "ð"; "ð";] ;
+ ["m"; "Î¼"; "ð"; "ð¦";] ;
+ ["M"; "â³"; "ð"; "ð"; ] ;
+ ["n"; "ð"; "ð§";] ;
+ ["N"; "â"; "â"; "ð";] ;
+ ["o"; "Î¸"; "Ï"; "ð "; "â";  "Ã¸"; "â"; "ð¨";] ;
+ ["O"; "Î"; "ð"; "ð";] ;
+ ["p"; "Ï"; "ð¡"; "ð©";] ;
+ ["P"; "Î "; "â"; "â"; "ð"; ] ;
+ ["q"; "ð¢"; "ðª";] ;
+ ["Q"; "â"; "ð";] ;
+ ["r"; "Ï"; "Ï±"; "ð£"; "ð«";] ;
+ ["R"; "â"; "â"; "â"; "ð";] ;
+ ["s"; "Ï"; "Ï"; "ð¤"; "ð¬";] ;
+ ["S"; "Î£"; "ð"; "ð";] ;
+ ["t"; "Ï"; "ð¥"; "ð­";] ;
+ ["T"; "ð"; "ð";] ;
+ ["u"; "ð¦"; "ð®";] ;
+ ["U"; "ð"; "ð"; ] ;
+ ["v"; "Î½"; "ð§"; "ð¯";] ;
+ ["V"; "ð"; "ð";] ;
+ ["w"; "Ï"; "ð¨"; "ð°";] ;
+ ["W"; "Î©"; "ð"; "ð";] ;
+ ["x"; "Î¾"; "Ï"; "Ï°"; "ð©"; "ð±";] ;
+ ["X"; "Î"; "ð";"ð"; ] ;
+ ["y"; "Ï"; "ðª"; "ð²";] ;
+ ["Y"; "Ï"; "ð"; "ð";] ;
+ ["z"; "Î¶"; "ð«"; "ð³";] ;
+ ["Z"; "â¨"; "â¤"; "ð";] ;
  ["0"; "ð"; ] ;
  ["1"; "ð"; ] ;
  ["2"; "ð"; ] ;
-- 
2.39.2