]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambda_delta/web/home/basic_2_blk.tbl
update in basic_2
[helm.git] / helm / www / lambda_delta / web / home / basic_2_blk.tbl
index 01a4d1c2a23a0787b55fe769a4d4620fe5434efb..8c4ee482733d1d38ac99250a069898dde70cf848 100644 (file)
@@ -17,7 +17,7 @@ table {
         [ "no" ] [ "no" ] [ "no" ] [ "$p" ]
       ]
       class "prune" [
-         [ "native type annotation *" ] [ "Î\93 â\8a¢ â\93£W" ]
+         [ "native type annotation *" ] [ "Î\93 â\8a¢ â\93\9dW" ]
         [ "no" ] [ "no" ] [ "yes" ] [ "no" ]
       ]
    } ]