- some additions to basic_2

- new logo for lambda_delta

diff --git a/helm/www/lambda_delta/images/crux_177.png b/helm/www/lambda_delta/images/crux_177.png
new file mode 100644 (file)
index 0000000..38b6432
Binary files /dev/null and b/helm/www/lambda_delta/images/crux_177.png differ

diff --git a/helm/www/lambda_delta/images/crux_177.xcf b/helm/www/lambda_delta/images/crux_177.xcf
new file mode 100644 (file)
index 0000000..6852566
Binary files /dev/null and b/helm/www/lambda_delta/images/crux_177.xcf differ

diff --git a/helm/www/lambda_delta/web/home/basic_2_src.tbl b/helm/www/lambda_delta/web/home/basic_2_src.tbl
index 2252411ce6f700f0048a3777891de13716bee674..853fd88df95548759c66ff68b1a667697d70140f 100644 (file)
--- a/helm/www/lambda_delta/web/home/basic_2_src.tbl
+++ b/helm/www/lambda_delta/web/home/basic_2_src.tbl
@@ -182,7 +182,8 @@ table {
           }
         ]
         [ { "partial unfold" * } {
-             [ "ltpss ( ? ▶*[?,?] ? )" "ltpss_ldrop" "ltpss_tps" "ltpss_tpss" "ltpss_ltpss" * ] 
+             [ "ltpss_sn ( ? ⊢ ▶*[?,?] ? )" "ltpss_sn_ldrop" "ltpss_sn_tps" "ltpss_sn_tpss" "ltpss_sn_ltpss_sn" "ltpss_sn_alt ( ? ⊢ ▶▶*[?,?] ? )" * ]
+             [ "ltpss_dx ( ? ▶*[?,?] ? )" "ltpss_dx_ldrop" "ltpss_dx_tps" "ltpss_dx_tpss" "ltpss_dx_ltpss_dx" * ]
              [ "tpss ( ? ⊢ ? ▶*[?,?] ? )" "tpss_alt ( ? ⊢ ? ▶▶*[?,?] ? )" "tpss_lift" "tpss_tpss" * ]
           }
         ]