From a38bbd2c8213d8275a3d3c2ac115c45c8e478ed4 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Mon, 11 May 2015 13:06:32 +0000 Subject: [PATCH] some changes in lambdadelta butterflies --- helm/www/lambdadelta/BTM.html | 2 +- helm/www/lambdadelta/apps_2.html | 36 ++++++++--------- helm/www/lambdadelta/basic_1.html | 36 ++++++++--------- helm/www/lambdadelta/basic_2.html | 36 ++++++++--------- helm/www/lambdadelta/css/ld_web.css | 4 ++ helm/www/lambdadelta/documentation.html | 36 ++++++++--------- helm/www/lambdadelta/ground_1.html | 36 ++++++++--------- helm/www/lambdadelta/ground_2.html | 36 ++++++++--------- helm/www/lambdadelta/images/b15.png | Bin 0 -> 817 bytes helm/www/lambdadelta/images/b3.png | Bin 866 -> 817 bytes helm/www/lambdadelta/images/b4.png | Bin 865 -> 817 bytes helm/www/lambdadelta/images/b5.png | Bin 867 -> 817 bytes helm/www/lambdadelta/images/b6.png | Bin 830 -> 817 bytes helm/www/lambdadelta/images/b8.png | Bin 817 -> 817 bytes helm/www/lambdadelta/images/b9.png | Bin 878 -> 817 bytes helm/www/lambdadelta/implementation.html | 36 ++++++++--------- helm/www/lambdadelta/index.html | 36 ++++++++--------- helm/www/lambdadelta/news.html | 36 ++++++++--------- helm/www/lambdadelta/specification.html | 38 +++++++++--------- helm/www/lambdadelta/web/home/sitemap.tbl | 12 +++--- .../web/home/specification.ldw.xml | 2 +- helm/www/lambdadelta/xslt/ld_web_root.xsl | 10 +++++ 22 files changed, 203 insertions(+), 189 deletions(-) create mode 100644 helm/www/lambdadelta/images/b15.png diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 348231c61..4e27ff561 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -222,6 +222,6 @@

-
Last update: Fri, 06 Mar 2015 17:53:25 +0100
+
Last update: Mon, 11 May 2015 15:05:36 +0200
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 4b2f19c27..e7b6ace35 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -36,18 +36,18 @@ news - - documentation - - + specification - +
- +
+ + documentation + implementation @@ -62,16 +62,16 @@ milestones - - version 2 - - + version 2 - (background - core - applications) - + (background - core - applications) +
+ + version 2 + library @@ -84,14 +84,14 @@ visibility + + version 1 + + (background - core) + (static HELM directory) version 1 - - version 1 - - (background - core) - (static HELM directory) helena @@ -258,6 +258,6 @@

-
Last update: Fri, 06 Mar 2015 17:53:24 +0100
+
Last update: Mon, 11 May 2015 15:05:35 +0200
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html index 3ca64b57c..22be060a6 100644 --- a/helm/www/lambdadelta/basic_1.html +++ b/helm/www/lambdadelta/basic_1.html @@ -36,18 +36,18 @@ news - - documentation - - + specification - +
- +
+ + documentation + implementation @@ -62,16 +62,16 @@ milestones - - version 2 - - + version 2 - (background - core - applications) - + (background - core - applications) +
+ + version 2 + library @@ -84,14 +84,14 @@ visibility + + version 1 + + (background - core) + (static HELM directory) version 1 - - version 1 - - (background - core) - (static HELM directory) helena @@ -823,6 +823,6 @@

-
Last update: Fri, 06 Mar 2015 17:53:25 +0100
+
Last update: Mon, 11 May 2015 15:05:35 +0200
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index 3ab92f7d0..4fb47c1a3 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -36,18 +36,18 @@ news - - documentation - - + specification - +
- +
+ + documentation + implementation @@ -62,16 +62,16 @@ milestones - - version 2 - - + version 2 - (background - core - applications) - + (background - core - applications) +
+ + version 2 + library @@ -84,14 +84,14 @@ visibility + + version 1 + + (background - core) + (static HELM directory) version 1 - - version 1 - - (background - core) - (static HELM directory) helena @@ -1384,6 +1384,6 @@

-
Last update: Fri, 06 Mar 2015 17:53:24 +0100
+
Last update: Mon, 11 May 2015 15:05:35 +0200
diff --git a/helm/www/lambdadelta/css/ld_web.css b/helm/www/lambdadelta/css/ld_web.css index b89905077..16fc502df 100644 --- a/helm/www/lambdadelta/css/ld_web.css +++ b/helm/www/lambdadelta/css/ld_web.css @@ -134,6 +134,10 @@ img.w3c { /* background colors ********************************************************/ +.white { + background-color:#ffffff; /* + 0 */ +} + .gray { background-color:#dfdfdf; /* + 7/8 */ } diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index 276f568ad..8d424517e 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -36,18 +36,18 @@ news - - documentation - - + specification - +
- +
+ + documentation + implementation @@ -62,16 +62,16 @@ milestones - - version 2 - - + version 2 - (background - core - applications) - + (background - core - applications) +
+ + version 2 + library @@ -84,14 +84,14 @@ visibility + + version 1 + + (background - core) + (static HELM directory) version 1 - - version 1 - - (background - core) - (static HELM directory) helena @@ -389,6 +389,6 @@

-
Last update: Fri, 06 Mar 2015 17:53:24 +0100
+
Last update: Mon, 11 May 2015 15:05:35 +0200
diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html index d0d97a9e1..2af7b79ba 100644 --- a/helm/www/lambdadelta/ground_1.html +++ b/helm/www/lambdadelta/ground_1.html @@ -36,18 +36,18 @@ news - - documentation - - + specification - +
- +
+ + documentation + implementation @@ -62,16 +62,16 @@ milestones - - version 2 - - + version 2 - (background - core - applications) - + (background - core - applications) +
+ + version 2 + library @@ -84,14 +84,14 @@ visibility + + version 1 + + (background - core) + (static HELM directory) version 1 - - version 1 - - (background - core) - (static HELM directory) helena @@ -275,6 +275,6 @@

-
Last update: Fri, 06 Mar 2015 17:53:25 +0100
+
Last update: Mon, 11 May 2015 15:05:35 +0200
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index 08790c17e..8ade57c70 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -36,18 +36,18 @@ news - - documentation - - + specification - +
- +
+ + documentation + implementation @@ -62,16 +62,16 @@ milestones - - version 2 - - + version 2 - (background - core - applications) - + (background - core - applications) +
+ + version 2 + library @@ -84,14 +84,14 @@ visibility + + version 1 + + (background - core) + (static HELM directory) version 1 - - version 1 - - (background - core) - (static HELM directory) helena @@ -328,6 +328,6 @@

-
Last update: Fri, 06 Mar 2015 17:53:24 +0100
+
Last update: Mon, 11 May 2015 15:05:35 +0200
diff --git a/helm/www/lambdadelta/images/b15.png b/helm/www/lambdadelta/images/b15.png new file mode 100644 index 0000000000000000000000000000000000000000..114a1eb7de37c06d20da8dfda06c8972dea3f15d GIT binary patch literal 817 zcmV-11J3-3P)Hb>O}00OB=L_t(Y$Gw)pZ<{a_#*G>^9Ep}l96RkFSmf2&u~oyy zv5~^caj7+uW2Hzm$57$MfA*ejjBN%UhiSeP(x1NX>pCKxy**C z%2FMsw(V8oam-rld<>QN(l3mZhl-o%iLVl@p*FdfO4Xl*x2lyY{Wc##HHuvdp&&7N z_`0``)pb!kOKc;nkoHm$#Tb)cVNpI?V&R>`+t2DWM|QY^ViTvLH2tDRV{Y0hdS_Wgi?ONBxtEKf;Ec` zMZgaQIe*7^7itPY>qrqPZZ4%ZFd3X5;W}!l^OY(Qa8T-+LUxc6u|(sSVM9^etYS9j zaJPr(2*vy&$3s)ttljL6;!_P$DpqUhP?(?xETte;DS!FdL&0OLL@FH%p>9|GnV8e4Poyb$vT)jbDvnnl20f*9dmbg7|Xrv zjxt<^F2#Pdv1(*`7Y*(rsEq1Z!f>Ly6S-8a4c(!!#015jnvzy_cWg1) zC}l~+-Z4@z5ANP(M7{fpLuvdgv0=l?cin!DnsSkD8 z*~DS*H;r~E)JMH{AiZl{>Ntuj=@<%4ixCt&>#M`P44kacv@{%f96EoU(Nyb^+i>`l v1|Nz-t}h?`XSr;PZVGd000McNliru-vtW{Eenpnb|?S<0;x$vK~zY`y_Ugm zn=ll{jT$u^iIzwlJMAA>>pCKxy**C%2FMsw(V8oam-rld<>QN(l3mZhl-o%iLVl@ zp*FdfO4Xl*x2lyY{Wc##HHuvdp&&7N_`0``)pb!kOKc;nkoHm$#Tb)cVNQG1jU}3l2&$iY%$p=Wl6-|F;XxO?%rlZy&crRUuZkuF7-rp zEHhcQn8F`Gj2tQ{#Z6y{OEFAktYFcOvZSI8Re!>pCK7$-_Jl7(=bdx4q7X~?U7P`r z9O{gZCno%?>{fpLuvdgv0=l?cin!DnsSkD8*~DS*H;r~E)JMH{AiZl{>Ntuj=@<%4 zixCt&>#M`P44kacv@{%f96EoU(Nyb^+i>`l1|Nz-t}h?`XSr;PZp`rbk<~TaH13hGQI5;$tOC)K^m0?9cA(><26X;zQNF7~{t?FEj5BOT_Fd`b+X( zDE<$rw!h5hsb&y$p33aiej#ISQy14z`z7^pA8LWR(bD%zmEeDxN{dA*Q6KSQRU1|M zteBv9p65eKM;uWNA>O{%BX*O0+^(wX39%HbkW5iLC@H1vrzzKN(i4qO$K@)0B zt*FHyawM*x(qx&s!*7vTrjA&tVwqyLUQ5(7bS4yUP@tU$z7W3`DbT(pP}S-XSt<*| zFxMjZN@>pml8AqfGEW z7}>m2B?1n-5S5@^hKFBedOmJ32RL$_571Voi~z7jI6b%ckKr!A(xP?10#{{_P1BsWx|t&3gZbU;jK!j3U45w zhVqXueZuNV8wDxer(|bL2wF~T=S9x$*bj<@Pl%lk-n+i7a*eFL9{6G_qtu-*hK%CqVm0Cv;6S2qr21pi9~eyE6=iyH=%Sa_{t^ zjB6~#FKRj{!*`|ickECPrIFP;YZy$;i3EbNV}qeYIoK@DjOOr@lqKiFW#BfW-%vG7 zngBgFbhv4gnM_>?vgEzaF}Rr%rX;5`$2n9x)T4CoQWw$07}MQ&-uRt{FSB~IiOJ;q zu^dzW1a%ofW^cRH=@msLsJgs{5?yr-1@8if`{m7?6uP?S*u6h{Qs_)P7%q$Fi3(Ty uF)C)LJkQ`%k--UP8|QDF_;P#xfb|z%FCM9jigy_R0000VGd000McNliru-vtW{F#(7j!fOBk0;x$vK~zY`y_Ugm zn=ll{jT$u^iIzwlJMAA>>pCKxy**C%2FMsw(V8oam-rld<>QN(l3mZhl-o%iLVl@ zp*FdfO4Xl*x2lyY{Wc##HHuvdp&&7N_`0``)pb!kOKc;nkoHm$#Tb)cVNQG1jU}3l2&$iY%$p=Wl6-|F;XxO?%rlZy&crRUuZkuF7-rp zEHhcQn8F`Gj2tQ{#Z6y{OEFAktYFcOvZSI8Re!>pCK7$-_Jl7(=bdx4q7X~?U7P`r z9O{gZCno%?>{fpLuvdgv0=l?cin!DnsSkD8*~DS*H;r~E)JMH{AiZl{>Ntuj=@<%4 zixCt&>#M`P44kacv@{%f96EoU(Nyb^+i>`l1|Nz-t}h?`XSr;PZjkTJKZi)*OulKQw0wLsl!>D#4Ba7}-u#Uhock9e`FjVgUs zOi(<}^C6`pj;MwZZ`Vt2NL)ds$ujkT-y*S0ov~8IGR17YmZ)dwOeo%% zWc6N^2srRURDpIG9)6XL-}{O}7bq@_id6+=Sc8OH(V;!OL{YR~rx2)P3!#)Oo6?~u zBcCaT0$C;AdGwIlQ3tCZ@S(LVO26Y%l9amZypy34B@2Hjf>h%|Ox&r2N)}{9s;wOA z#|u#jOHC>D{F6f+SCUGMti7jq?FT0zmyoRkBa!a**H_wQ!h?ni;|V9>ol2+*Zy=zC z^3N}Q!um-Y1u5RAWJgR0S`KXEMb7Tn4vK|Oh@B4JxxVjHK4W)OLR|w(@o!dEOZpxL zk-LY!SXqDRpoe=eaj3j9vSdQvbSH2pK>J50bWJk|CMkZeOWF*(GYp2iR;6Te@ARRJ zYb?btYC0&xca`;b>`?cWk<~kE7);HH1cI@1gP}w<*euSB=J1o0CFjCr;5MV*P$f*7 z06jN!xM`D_OkD-CjU7 z8dLrRbs0fsZ@bjt6-6efvbu&6U40D&?*fPW>CK!Jy0Yik&YwLgbS54Qm&Nl$jjR0_ t6*E+xXK<>>;Dob|^EXa>xjlct`U@aRZ8eRT^kM)2002ovPDHLkV1g{8dqMyJ diff --git a/helm/www/lambdadelta/images/b5.png b/helm/www/lambdadelta/images/b5.png index 30cace1d17078267e517e173afff24ccce3a8be3..877e505a66416279626d6fc81bcc1bde734173d4 100644 GIT binary patch delta 794 zcmV+#1LgeV2C)W^B!3%FOjJbx00000000000RI3000000009300RI60|NmfmGZp{< z010qNS#tmY4#NNd4#NS*Z>VGd000McNliru-vtW{GcfD*pwj>V0;x$vK~zY`y_Ugm zn=ll{jT$u^iIzwlJMAA>>pCKxy**C%2FMsw(V8oam-rld<>QN(l3mZhl-o%iLVl@ zp*FdfO4Xl*x2lyY{Wc##HHuvdp&&7N_`0``)pb!kOKc;nkoHm$#Tb)cVNQG1jU}3l2&$iY%$p=Wl6-|F;XxO?%rlZy&crRUuZkuF7-rp zEHhcQn8F`Gj2tQ{#Z6y{OEFAktYFcOvZSI8Re!>pCK7$-_Jl7(=bdx4q7X~?U7P`r z9O{gZCno%?>{fpLuvdgv0=l?cin!DnsSkD8*~DS*H;r~E)JMH{AiZl{>Ntuj=@<%4 zixCt&>#M`P44kacv@{%f96EoU(Nyb^+i>`l1|Nz-t}h?`XSr;PZ-;R<%*3 z&x#3(=XpM)bi@(W5aR86Jz_iA$IYs)pAbv23dt13gNjnhew%V_Cq2>lR4#T@9yFoG z)QVaRB1hs1DovKDJNy=jW$KKTDwZi`>$OBZLuW$q1_j!A;0y6Yh4SeTNUNWl{PKpOU21UFUllDp7y3fFejWF2uyGN~mN(Mx@%x zp}xNmm9W&5QqMm*)Nw7T#K_uvde?q%5^@RIIxrIHZhw8HT_!wes4$*z65gtWs_+H^ zYAFBw(kHB+v{8`aeM)x3grMcXwqE4yj@_VG_=MQ$;JxenKIJoZM454xnyusg$GxNB8PCihMs z%DBc-{Gz6VGJIEAf5#5>P#IahvxdRcoJb%TJ2x0gRD;dp%xDfjNm+6(Tn274`VCdW zqzTY-Lx-C-naR{uAWPos9D|!VVM=m1a-2h@Lp^o+E_D%2j4|Df=Z)WK_%bU;o0v?# zAFDCtPf(W;WcId89bQpnf-0+PDACo|Q1C8rxS!t4Nueuyj@|pSCxy<$gW;&IGc>wFBA_|h+ol!uC&=!vfqtbd_4xtB`SpM|%ol`8!L4qX`zg}a%SY{@Gc)^teH3J8(S-BY&__Y`djwT2cCm*#@NI-re!(PYsWXB#i+>G8 zzz+pEf5&(iY6?N?ND(P+E~Pdw8Jr*CI%=r%l`0W%Q0kgOc90UWMB|rXLs8tUVm9Y+ zw}roR%_`{n4kwNr65)*fBD%%!DFmMDjf^s&x)$ByAF>+ zDpj$DD8g@)p^Bv)YwA#6-;gpa9e;{_a;Vdtpi&)c88o&3;21IiwRIp!cj((6*@fXz zL9wQ`j^T|mRE0-oa_snrH)B{l>p>9|GnV8e4Poyb$vT)jbDvnnl20f*9dmbg7|Xrv zjxt<^F2#Pdv1(*`7Y*(rsEq1Z!f>Ly6S-8a4c(!!#015jntzg3c6V$s z*(ha6#NIJdFc0qDW<CKhDAY&2cOboMT~O*ciYnyg`V x_>=}8ibAe0AN^;!Y>RJ``^Dc*d@Re%&2O26EX_2|^|Jr~002ovPDHLkV1g%3Xh{G7 delta 780 zcmV+n1M~c`2EGQ6Bs&3fQb$4nuFf3k0000OP)t-s|NsC0000000L;wHGXMbp%*>+a&M;Jf4b5NfiMsb(IpQ4`Mt;PB1FjSl4Q;L zMv8tT74{#Kc`8_?n!8We1xIHS$~DxI6e-t8k!KryQHokBU6i6N{wWuW8lXl#e6#*7Ri$(k*ViIRHjJGkfBW-PK?FPDuu})Me&98Pbzj0Kc1RNzCLe4-)70!KrI%A?LU!%sBC!uOCD|MbusHg9%NFn({zr7?so z2mTS&-sE2g#WHtjI$b=Cwtr{&YPy4lt_GcD=3<4S?_n`|Xs<3-I_Tjp@;87)b+NQz z+;wLp7XGk?{?LrXXktqme+;{GCx(_>KRdmYn;Iv!!QBA|o+>xrrEjUaSp8((i?txe zPl1slYVff5`Qa-aOYaMt!L<4LDcEcwmcBTg@VhoCh^4PlZ@`Pu%jzJh*@rTZdWn5% zLxR$1`VU?tr(V?A=ph!9??*MJ;t6Oog2sil_i#sv2`W=-C_31J-|$)trgi{kA6n0000< KMNUMnLSTXeDrUg| diff --git a/helm/www/lambdadelta/images/b8.png b/helm/www/lambdadelta/images/b8.png index d2638f877411afa276e0ce85d68c496015bdcf07..48b550ec7ca8d74b5a204f652c4cedf172db39db 100644 GIT binary patch delta 794 zcmV+#1Lgd&2C)W^B!3%FOjJbx0000000000|Nj60000000RR60|Nj90|NmT#LNEXT z010qNS#tmY4#NNd4#NS*Z>VGd000McNliru-vtW{IWL?NMXUe-0;x$vK~zY`y_Ugm zn=ll{jT$u^iIzwlJMAA>>pCKxy**C%2FMsw(V8oam-rld<>QN(l3mZhl-o%iLVl@ zp*FdfO4Xl*x2lyY{Wc##HHuvdp&&7N_`0``)pb!kOKc;nkoHm$#Tb)cVNQG1jU}3l2&$iY%$p=Wl6-|F;XxO?%rlZy&crRUuZkuF7-rp zEHhcQn8F`Gj2tQ{#Z6y{OEFAktYFcOvZSI8Re!>pCK7$-_Jl7(=bdx4q7X~?U7P`r z9O{gZCno%?>{fpLuvdgv0=l?cin!DnsSkD8*~DS*H;r~E)JMH{AiZl{>Ntuj=@<%4 zixCt&>#M`P44kacv@{%f96EoU(Nyb^+i>`l1|Nz-t}h?`XSr;PZi_@% delta 766 zcmV-QB6jUOw$QKl3r$s#fP#^`_Zvv{?ocsKFRaJ=%LHC$FFGNcy<5B6FB4AaebQIUu zB1txkog@2y^Hf0VcvBdT)M8_D>GMKB10XShc#Ps(>4}kk9e0U z^VjL9rCN*ylrU7_L!5k~A;tnnLxswtem)2^%q)d}>FHmOk{3<2U94SK{NJ7-)sU+L z7hS*K@3L#dgN3?T%ssJ>yc2F>WZ^@-Gge(XC5!K%0UkAl9cW63Y zJdL)0XZdQngNCjKon_`?g`)3aF?wjPE>=3|;V$wwfJAk%v|-$JXCxN>u!jE7jKpYS zOBxJ+yK^UomRvtOy_B08C$_=e0SBHcH{Ydisk&JGWZjFkAjVIDks@mFu=x4mD;-Pk z3!A~T`S~f>Y$2AuIGpgiHYtduuTgKni_y#KAgS4hGLL$ReQHC3(rEe*UL>bp)Y<4E z7L)HsHKyVTXfuMwg|+u^M~Mk4Q)?(fn>7?g+^WYNqnS4i&3cX>;&IGc>wFBA_|h+ol!uC&=!vfqtbd_4xtB`SpM|%ol`8!L4qX`zg}a%SY{@Gc)^teH3J8(S-BY&__Y`djwT2cCm*#@NI-re!(PYsWXB#i+>G8 zzz+pEf5&(iY6?N?ND(P+E~Pdw8Jr*CI%=r%l`0W%Q0kgOc90UWMB|rXLs8tUVm9Y+ zw}roR%_`{n4kwNr65)*fBD%%!DFmMDjf^s&x)$ByAF>+ zDpj$DD8g@)p^Bv)YwA#6-;gpa9e;{_a;Vdtpi&)c88o&3;21IiwRIp!cj((6*@fXz zL9wQ`j^T|mRE0-oa_snrH)B{l>p>9|GnV8e4Poyb$vT)jbDvnnl20f*9dmbg7|Xrv zjxt<^F2#Pdv1(*`7Y*(rsEq1Z!f>Ly6S-8a4c(!!#015jntzg3c6V$s z*(ha6#NIJdFc0qDW<CKhDAY&2cOboMT~O*ciYnyg`V x_>=}8ibAe0AN^;!Y>RJ``^Dc*d@Re%&2O26EX_2|^|Jr~002ovPDHLkV1k{}ZC(HX delta 828 zcmV-C1H=5W2JQxsBsT$bQb$4nuFf3k0000XP)t-s0000h5fDl|H)LdFGnq30!2i3u zyEE&|fZ+e*;OGDU|23;aijhbjf7%BN4;KMrh&{ys00PrVL_t(Y$Gw)nj+;Ob#uuSP zEHDs*NgrR!mSl&+{RrBaWzs5O3G(5!=Z=ZdO(GgjkAINTw(rl$28T)0AsF z>50ataruO;dkIunXFDA3LWUx?p} z6lmWNsA_eHER}^}m}?Pyf2Fi%0ZBwhnWqg)ctBu%PeBRaH)mne$% z>ktBUZXuMCWm7s7W#lu(P#~+uJC7bx_te3vJA7y@i_&lSlq99@e>&dFP>GTS6hW$S zAtr8BLM00_BGr}-_5FpYgtexWdj83w&TB~}M%LcbyY_>VkW0wcfssge`^zisGT})> zh4F-w@Kz;Mg*OmTL;1&-K4JBwje->KQ?fHA1T81F^&)3?>;}ccC&W$%?_J;bDW9=B zDxt1{rT7mkt0jF8e}l-~Ltm||bkM`SmpD{j8d)--Z@Lq>6QKR06S}4u1d|kh&?Rk# z-5CbMU8_Sn3O@N*oI^49$Os1{`S@K@z7~ISWQ news - - documentation - - + specification - +
- +
+ + documentation + implementation @@ -62,16 +62,16 @@ milestones - - version 2 - - + version 2 - (background - core - applications) - + (background - core - applications) +
+ + version 2 + library @@ -84,14 +84,14 @@ visibility + + version 1 + + (background - core) + (static HELM directory) version 1 - - version 1 - - (background - core) - (static HELM directory) helena @@ -269,6 +269,6 @@

-
Last update: Fri, 06 Mar 2015 17:53:24 +0100
+
Last update: Mon, 11 May 2015 15:05:35 +0200
diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html index f5932556b..ce3e4a3b9 100644 --- a/helm/www/lambdadelta/index.html +++ b/helm/www/lambdadelta/index.html @@ -36,18 +36,18 @@ news - - documentation - - + specification - +
- +
+ + documentation + implementation @@ -62,16 +62,16 @@ milestones - - version 2 - - + version 2 - (background - core - applications) - + (background - core - applications) +
+ + version 2 + library @@ -84,14 +84,14 @@ visibility + + version 1 + + (background - core) + (static HELM directory) version 1 - - version 1 - - (background - core) - (static HELM directory) helena @@ -202,6 +202,6 @@

-
Last update: Fri, 06 Mar 2015 17:53:24 +0100
+
Last update: Mon, 11 May 2015 15:05:35 +0200
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index f9de6ec95..212eb91d3 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -36,18 +36,18 @@ news - - documentation - - + specification - +
- +
+ + documentation + implementation @@ -62,16 +62,16 @@ milestones - - version 2 - - + version 2 - (background - core - applications) - + (background - core - applications) +
+ + version 2 + library @@ -84,14 +84,14 @@ visibility + + version 1 + + (background - core) + (static HELM directory) version 1 - - version 1 - - (background - core) - (static HELM directory) helena @@ -354,6 +354,6 @@

-
Last update: Fri, 06 Mar 2015 17:53:24 +0100
+
Last update: Mon, 11 May 2015 15:05:35 +0200
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html index 412740783..5cb1af416 100644 --- a/helm/www/lambdadelta/specification.html +++ b/helm/www/lambdadelta/specification.html @@ -36,18 +36,18 @@ news - - documentation - - + specification - +
- +
+ + documentation + implementation @@ -62,16 +62,16 @@ milestones - - version 2 - - + version 2 - (background - core - applications) - + (background - core - applications) +
+ + version 2 + library @@ -84,14 +84,14 @@ visibility + + version 1 + + (background - core) + (static HELM directory) version 1 - - version 1 - - (background - core) - (static HELM directory) helena @@ -102,7 +102,7 @@ -
Computer-checked formal specifications [spacer] +
Computer-checked formal specifications [spacer]
λδ is developed as a machine-checked digital specification. @@ -328,6 +328,6 @@

-
Last update: Fri, 06 Mar 2015 17:53:24 +0100
+
Last update: Mon, 11 May 2015 15:05:35 +0200
diff --git a/helm/www/lambdadelta/web/home/sitemap.tbl b/helm/www/lambdadelta/web/home/sitemap.tbl index e3c2b0525..af3b9f773 100644 --- a/helm/www/lambdadelta/web/home/sitemap.tbl +++ b/helm/www/lambdadelta/web/home/sitemap.tbl @@ -11,12 +11,7 @@ table [ [ @@("news#milestones" "milestones") * ] [ @@("news#visibility" "visibility") * ] } - class "orange" { - [ @@"documentation" * ] - [ @@("documentation#v2" "version 2") * ] - [ @@("documentation#v1" "version 1") * ] - } - class "green" { + class "white" { [ @@"specification" * ] [ @@("specification#v2" "version 2") "(" ^ @@("ground_2" "background") + "-" + @@ -29,6 +24,11 @@ table [ "(" ^ @@("static/matita/lambdadelta/" "static HELM directory") ^ ")" * ] } + class "orange" { + [ @@"documentation" * ] + [ @@("documentation#v2" "version 2") * ] + [ @@("documentation#v1" "version 1") * ] + } class "green" { [ @@"implementation" * ] [ @@("implementation#lddl" "library") diff --git a/helm/www/lambdadelta/web/home/specification.ldw.xml b/helm/www/lambdadelta/web/home/specification.ldw.xml index 556549c39..407dc8054 100644 --- a/helm/www/lambdadelta/web/home/specification.ldw.xml +++ b/helm/www/lambdadelta/web/home/specification.ldw.xml @@ -7,7 +7,7 @@ > - Computer-checked formal specifications + Computer-checked formal specifications λδ is developed as a machine-checked digital specification. It comes in several versions listed in the next table, diff --git a/helm/www/lambdadelta/xslt/ld_web_root.xsl b/helm/www/lambdadelta/xslt/ld_web_root.xsl index f47a9a942..ee9d21053 100644 --- a/helm/www/lambdadelta/xslt/ld_web_root.xsl +++ b/helm/www/lambdadelta/xslt/ld_web_root.xsl @@ -72,6 +72,16 @@
+ +
+ + + + + +
+ +
-- 2.39.2