update in ground and static_2

[helm.git] / matita / matita / contribs / lambdadelta / ground / web / ground_src.tbl

diff --git a/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl b/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl
index 3646ed0eea6816d4f073c293fd48daadd479ef1e..ece01e73c0a1703d561faf0499892e282a122f36 100644 (file)
--- a/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl
+++ b/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl
@@ -47,10 +47,10 @@ table {
           [ "gr_basic ( 𝐛❨?,?❩ )" * ]
           [ "gr_uni ( 𝐮❨?❩ )" "gr_uni_eq" * ]
           [ "gr_id ( 𝐢 ) " "gr_id_eq" * ]
-          [ "gr_tls ( ⫱*[?]? )" "gr_tls_eq" "gr_tls_pushs" "gr_tls_pushs_eq" "gr_tls_nexts_eq" * ]
+          [ "gr_tls ( â«°*[?]? )" "gr_tls_eq" "gr_tls_pushs" "gr_tls_pushs_eq" "gr_tls_nexts_eq" * ]
           [ "gr_nexts ( ↑*[?]? )" "gr_nexts_eq" * ]
           [ "gr_pushs ( ⫯*[?]? )" "gr_pushs_eq" * ]
-          [ "gr_tl ( ⫱? )" "gr_tl_eq" "gr_tl_eq_eq" * ]
+          [ "gr_tl ( â«°? )" "gr_tl_eq" "gr_tl_eq_eq" * ]
           [ "gr_eq ( ? ≡ ? )" * ]
           [ "gr_map ( ⫯? ) ( ↑? )" * ]
         }
@@ -118,8 +118,8 @@ table {
   class "yellow"
   [ { "extensions to the library" * } {
       [ { "streams" * } {
-          [ "stream_tls ( â«°*{?}[?]? )" "stream_tls_eq" * ]
-          [ "stream_hdtl ( â«°{?}? )" * ]
+          [ "stream_tls ( â\87£*{?}[?]? )" "stream_tls_eq" * ]
+          [ "stream_hdtl ( â\87£{?}? )" * ]
           [ "stream_eq ( ? ≗{?} ? )" "stream_eq_eq" * ]
           [ "stream ( ? ⨮{?} ? )" * ]
         }