From 2a5e781138f03034104184a40889c33515ac9778 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Fri, 28 Sep 2012 17:14:12 +0000 Subject: [PATCH] - some additions to basic_2 - new logo for lambda_delta --- helm/www/lambda_delta/images/crux_177.png | Bin 0 -> 3009 bytes helm/www/lambda_delta/images/crux_177.xcf | Bin 0 -> 6287 bytes helm/www/lambda_delta/web/home/basic_2_src.tbl | 3 ++- 3 files changed, 2 insertions(+), 1 deletion(-) create mode 100644 helm/www/lambda_delta/images/crux_177.png create mode 100644 helm/www/lambda_delta/images/crux_177.xcf diff --git a/helm/www/lambda_delta/images/crux_177.png b/helm/www/lambda_delta/images/crux_177.png new file mode 100644 index 0000000000000000000000000000000000000000..38b6432641c81aa2d440efffa06c7c5f4813a83a GIT binary patch literal 3009 zcmd5;i8mD97a!@1NSYS17nP|7`4XZbjjp2o+bT0$|5IgZlc)W|g z{dt5x)Yu%x|MQ4|h$IhTD#nrPIvxtM4}}H>1bD$i0oFcVXQ7Bk5nhlxHUNOo1!H|Z z>j>)dc(mE~ZQkzn1?lp9LHB*j+ox1SsdfdUWpVE8H^#%Dh43q<%dsI@1Eo8PcF{(D zgIQkheuR2aeQSO?q1XHSngWlB!JETokuvvkz6F#Y+5C1lo&5we9paIR#pE~ z^o5^0n-Z^1)dQR;o0V8rtm29Ji|tQUnh32{%dUWh*qK(@$AzbZWw9+HqUO(XUPnbJ z99eeVj*+gfT5tw3pJ3ZkufG;!lGxZog#i<)9HF3x+MwyP<`O*72mQ_{z>%AxK>}~T z?pSv6q^RG3@Z2#FPUTmVJwt1@8}^Bp+wuPHzTFXpVn`-=x}9GOS4#|*Y#JSEtI=Dl zd&zrsGNrq(KlU8eHnAQDS&O&6nztIOSbJ1pME!1OoiuMXdRIoEe#SP^*6}tld~NF) z4@zKa>FacGfHusGc9j|<9w#vGsca0C)SAY&g(IcvHNNo2U-sze%Rer6WusnBy=0fQ z_q%kqITMg%*%|-Q#{>KRtJ92ue~%r*KW+TEfs`&fpO^obrIl4||C|S76c2W8%rumZ zBG}11r7V`bdKEK0?V;pCG71S%?ZAjAsHmhpq?Dw8%GdagkYVV#+`(O=RurT%hY-I&77+j-$#*5Ta9q%v>@*`*CJ-P(>ge5vZI1``bM(=Gc(rJOD zbv_##o2HgGX`d5EEsIZ{yg${@3vnGJAvbGi%lSG{xfq$ppvm9aijD?ov<{#nURYjL zHKU~Dyg`bTv5ARbMMXvIYOMC2LXa&GQ-YjvAFeM{EdKBzMdkkINkqeFjXTs*0hz7j zEC+!Uq^GCnMV}aW@N=b>DKqA;PDir>5D3JR$W(*tkmVsHbMj^3Zk zc10ZQZO6%geasKvF3-P#Cr@^?#|Z@!$M<(Xh(7hT<78mV4IH2RHvKu*uhKw`Q*@DXU%vIgY04rm(S>FF6E zzrVLs4KaNIUe6hLKpy+(O)MB$4vXZrLO7e-Cq^n)*(U#=-AVz z6+5aJ{UkH9RBuQTYU4=ZPHeuID+ zUogeuaGPxSTwhksz&zZwP4%Uj^zE_(i6e`?Z1}Zd(6r^FG#oc#y<3B$#-(ND#l(g4 z=Ti#{E!^GDaVzQU7jOLGFdN4X7)+{CiGMw|C5%|`?OUzh z$i0sb9zDMGA|nH8YKmi~7OP&mbcs$AQ*!!u2bSK~XR^A?C4jG10p3`Jh1x*2n;ON~ z6jkyKXlN*bY?U}W>nRg4$pdh3Z~$Gtyn$@dJ=n@%h8Y+bxQR42xBxMgwhq_H$d+;r zH&vHFAOKY<-Id^DRZfY+U^23@U`XV3jEL+C0?Dn9mN`w@NW!ef1Zu{4hx*Cyz_s_v zLK~$L3%v(~p>GrKcOP?bq&;Db*)QVlEM}-@jV}b{JzFY4V0z1#n84 zIUTn!5yc#DrC)uF@A1jYthwG0f=DK`3#+9XjQy6sT&cg zm6er_E?CWw`J>g%dzTHL%am4CB^5=pU%EygWZf;d7!MwJI_5uLQC`>%ue)nw(?xHJ zRLL9Y?CKh#Qu}%{6vpa4 zadA;fEA%a8LeYhk6UEx$a)#Qy8nQtD{aWPtjSYeB6zQc%t^v;`}bf2M(sOtiEK?S{hDEnGg(<#YU=7IBqg~uD%jiG z+orgtTXYNhX-ZCg7E^A0H<{P)tFj)Gnh}UkeeuG88$}kIN1XZF4O%#Q@KBcp^@|&1 zX#6TugLm3kTUj7|s*;MO@@*1FvB!eWs@aw>V$w8<@$&GJv?vC#&Te{3r=I>6n_QK7 z#{#iIN3C5`m_k$xX}p%>1C<=-Pl;U8BT8A?zD+L2(g@%Bl)|Q(?bzgdb&_mif6#~# zXd13Y`4UzuvY$E**KCw_$o({QYP}%W$3v3FxAHo!pNB)|)5s;@PvKV~8^^+qk}{fd zGb~BaNH-XRqk`c1i`RR1c}qw0?yLKgO7>f)Lf>cJ84OM_`#Z{Id)QlQEKbWpQcNAcfW)Evxt%DpEIv4Ai36fY1TA`NJX`YKVUEogk)_h8q*|HZIp&KiS73ezvK6w z8@B;zl}dx?m45Hsd(OG{oO|xMA9hrqnpU#o5hbF>G(!2g1F3fc9uGe2fHik_6A4gm z0sO#PKsZttz4ah>fwo04Y-l_&HKoPVXjg?z_f2Zb-N{T=7#&p&eM*gLp=eT{aFje0 zOr>XHnvzPy^oecF!ANvG5lbYMV3mZD(Icv|WBZP3S)nrIh_<2YkrleSa^>Gwq-!=c zt&Z#Qs50c*0&`|1ro#(m;(A)q>Yz*Qhn{%u#ZxEl?Zt8~o?^aW@ieuQ`K1ro!{+;C`TnI9 zxwUZ0`aCIbm9|hTUD&k13)xQceeRFU9T1w|dDlh`2_Rruu@SE`GlKcRk#`EdvL^5x=XL3S=!6|#;wx+6>mfP(lgBeeD={;*eAN3 z7x}xOX3v{&t7J02H;zm$rI^n(BE2v4zr*L$4sZVtEdGfXIcj>}f}%AFbET#~@uiS> z^)T~;kS*QA{D*~KKvaH!`Fn7z)c7u!6>Oiymzcl&thou*lIK0#geV_U3xX8qi()=fHu;SKYaM;=m6azx$E9Ua)LD<(2gr# zbkCFPdCrMtDJz|Gaz;8OAlIA}*Gp`{z*lfsKLmWo7P+zj+JPVA7{#>K?8anXgAV$y zJpddA;-YVKT!HpCsGUP}3kPWf_Rnpskiy+$Tm%1nVBp}%LUG=lFBVQ790<@LRl3H` za2r?7jCJ8sF^3Dhj?Ka_Z6R}{$USTpM{v=YeFeT1{61XmM(f^sct1rJ(;oSR$-{eq zFnO!kO+I$9i~M}8aK{kpjxBZsch#&L4Rd7N^aip253%W!l`3GR%n?~Hv&giYD#KhQ z1(022b>YC-P1cxA&VYa!V6Tt?n;f*sNt+aGQnbmuP0YHMBXcyJe$FV)m|_8D#olG> z;!Bt+;+f;8?X*3C>Rj;YBU$`L+RS}4z&#Y?_4F}bM}yo++i?kP=e4wh+i8f~s<@L| zNwAY!su<>Ga`6dnqHBdahER8G*OqI02Yj)8>V$vm;OBby+XKJ*;QvPKZUwvicI@^b zc6|uD-|*&d&h3A8-LQ`~u{B1$WCrs5Q8x1d{8}=*io6BKYZso+W>1;>*~F#Z1%8>g zqTYqanHebZHs}QK3(Ly$9c<*9;! znd7J9wKE52M$Y`)31jL`5Y{dW4Z>6l8Nyc!CBj+@F~VI7eXj(tx*)eLyVr2X)$Tjo zeYJaVYuybwNLO8+s6!aiw;XO2#ta+8=WuPk=!OQg`1KQg8XRI({sgOl0B{ z(!5d6ANOY_T6}5Q*=Wk;jE2*5Ml)oMxoZ3R z<*Gq{TfMvB2CdB1d%~b1_s{jNLP&;m=kR-I6{0^^&1-*j)}SZZ2z+MF@Rx)N-Ku^6g}>s%=U+&pqTv7l literal 0 HcmV?d00001 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 2252411ce..853fd88df 100644 --- 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" * ] } ] -- 2.39.2