]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambda_delta/web/home/basic_2_blk.tbl
update in basic_2 and apps_2
[helm.git] / helm / www / lambda_delta / web / home / basic_2_blk.tbl
index 8e3ada60750bc4bcd5a07009472b21dd29477ee7..01a4d1c2a23a0787b55fe769a4d4620fe5434efb 100644 (file)
@@ -1,4 +1,4 @@
-name "ld_basic_2_blk"
+name "basic_2_blk"
 
 table {
    class "grey" [ { "domain" * } {