From 128f5aac774c236b59fb80a62e60b26ebfaa0dfd Mon Sep 17 00:00:00 2001
From: Michael Jastram <michael@jastram.de>
Date: Fri, 17 Jun 2011 10:19:38 +0000
Subject: [PATCH] Finished Layout / Style
git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Handbook@12020 1434b563-b632-4741-aa49-43a3a8374d2e
---
.../rodin-theme-eclipse/default-layout.html | 11 +++++--
.../rodin-theme-eclipse/icons/bubble_48.png | Bin 0 -> 5323 bytes
.../rodin-theme-eclipse/icons/cc-by-sa.png | Bin 0 -> 672 bytes
.../rodin-theme-html/default-layout.html | 30 ++++++++++++++++--
.../rodin-theme-html/icons/bubble_48.png | Bin 0 -> 5323 bytes
.../rodin-theme-html/icons/cc-by-sa.png | Bin 0 -> 5083 bytes
...g.rodinp.handbook.feature build.xml.launch | 1 +
7 files changed, 37 insertions(+), 5 deletions(-)
create mode 100644 org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/bubble_48.png
create mode 100644 org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/cc-by-sa.png
create mode 100644 org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/icons/bubble_48.png
create mode 100644 org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/icons/cc-by-sa.png
diff --git a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/default-layout.html b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/default-layout.html
index b3221ae..7a034fe 100644
--- a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/default-layout.html
+++ b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/default-layout.html
@@ -14,6 +14,12 @@
</head>
<body>
+<div style="float: right; text-align: center; font-family: sans-serif;">
+<a href="" id="feedbackbubble" style="color: red; text-decoration: none;">
+<img src="icons/bubble_48.png" border="0" align="middle"><br><b>Feedback</b></a>
+</div>
+
+
<div tal:content="self">File contents</div>
<div tal:condition="self/tableofcontents" tal:attributes="class string:contents ${self/nodeName}-contents"><!--<strong>Subsections</strong>-->
@@ -58,8 +64,8 @@
| <img src="icons/wikipedia.png" /> <a class="footer" href="http://wiki.event-b.org/">Rodin Wiki</a>
-| <a class="footer" rel="license" href="http://creativecommons.org/licenses/by/3.0/">
-<img alt="Creative Commons License" style="border-width:0" src="icons/cc-by.png" /></a>
+| <a class="footer" rel="license" href="http://creativecommons.org/licenses/by-sa/3.0/">
+<img alt="Creative Commons License" style="border-width:0" src="icons/cc-by-sa.png" /></a>
Creative Commons License
|
<img src="icons/feedback.gif" /> <a class="footer" href="" id="feedback">Feedback</a>
@@ -68,6 +74,7 @@ Creative Commons License
section = encodeURIComponent(document.getElementById("section").innerHTML);
url = "https://spreadsheets.google.com/spreadsheet/viewform?formkey=dEJmXzUydnRzZGdDVE16WFZmZmd1alE6MQ"
+ String.fromCharCode(38) + "entry_0=" + section;
+document.getElementById("feedbackbubble").href = url;
document.getElementById("feedback").href = url;
</script>
diff --git a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/bubble_48.png b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/bubble_48.png
new file mode 100644
index 0000000000000000000000000000000000000000..a4117f15e2ce1499dffe342a7b1c253535788894
GIT binary patch
literal 5323
zcmeAS@N?(olHy`uVBq!ia0y~yU@!n-4mJh`hH$2z?F<YIoCO|{#S9GGLLkg|>2BR0
z1_mzwOlRkSfQ<Z-{NjxK0tHWJXN7{I{ItxRR0f8MTXTccLxNw5*?zzG#mT#)VTyNt
zkSK>jkW+Vq$V4?QMNR>)4#kBxMFS5Cy1KGRpIFer+}GF8BO0i~)5Udz{fXkDzUIXp
zU8jCOtX`abZO`{-Xa8-zZufl6=ee8DvmfB#ndV^}XxhND(n(J6LG$q=#~wb>b7<sJ
zDPR!b*qowR{8yQg;YXc~jkeMO_I(VD6_>d=7!LT(K42iz{-6Jq)65vgh8D&HB@->Y
zIT}P59IE=9mN7WEF*eMdp%%=rfQ2F9baK*Th5%iL1oir7ml+!7{+L<K$Phh6QIv7P
zL<R-n)D9Ph3~Pop=fk>O86pfAMAE#ESTfwuWiapzPxD~du$|$+IRWlX3>-WR27w)|
znhY$}3<)Qcl`9xpW-^GleG0evsJ%|$xfTOM#mr4MJ5?-Q8>2aN3)#cN_2e|pd5UX`
zm?bhL&T`N@R5?@9sL_P~!RIp!3=1ZT3O;E5{I}v9-@0?>%=)(R#p}M>&-Py_De3XQ
zr{`A}I503gEUCNrPe*^VRD(5JL+-yts_$4b;<y)-e(z4(#P6_`VZqB=;hzgYVdJ`R
z!p@sFpFVkV!|RAsbmFP-+JEVX;tz!X&G}hp^XL252m2nWG#bS=y0iRvaOlhzpQSSA
zCvmnU-FepU{%1S)|39*qm5z8O?TpY8c^oKI*yl2<=d;mLrB0_wnnzVH{ZDyxU*|Wo
z-F;Jr4Ow=K)f07B#3nO;^Hvv#C^_)xI|IX~-T4QvXmBt$WHdiKU;h8S{a^P5stgTj
zo|6h07~))1^g>Q;wm;6nz~Hi=QEP*v^p}GYItSQf4zk`k$o(h5ti?&?$RQ^IC$5wR
znW6;EHBC+$ZD%*gY9;7jaga4R5SY<6xqwgaQ0NXm+XDVyi5&9|YV2v`WN|#fA)Kgq
ztAjDAD?+)CLwsiI55<EXEJEEX3MV^60+qZcntB)pb%iK|ddPmVEn>24k8#^I(fR~~
zQPZEcJ?@568aD;nUg6p5ymN)QREygp?h7d;hO_#`7R<g-v_;Cc$86#A3#&8uZ}r<b
zA2&GgLW14+NRENtvBORqEp#|1C!gM^w1#K(F{uq<YnXR;eoa2Vv7AMy(e(hQ8B4j7
zLZY0bM}$v=-wlry3Nk7tg10!$Ihk7m52-6nUg5n(ZI|HBBN9nQhV2m^I?C6C`i1oc
zsym#In5zhNIvc6)oWSI{aY@J}p-XO;@`99K>a3h?;vuCx`Q)vX>`m;JQ*;!xPqaRn
z`{eKw<0sNj6hB3C%}sJBT=FCMkw(y|EHBBY0#8kzvZc;2atvKOE9mZug&~5b{ZUS9
z7j6q$AK1P^*rarp<=JL2Pw%B`7frn^l_8$-J#+nwl3jv#r^@+FzYu=u^h@^_(_b)u
zDd*vB6Ky`;k**;*TY_C8U9wza{S2RFl9#(BkB1nT8@`_Ld?x?Q{Ll!kZCW*=6HjqX
z^_r?SRa#3wWaX-5tM0Ah4*eW@I;4MPTyX6=w@~BY$16FnOj{kgYHq;mVCmrWmDVfT
zSEaAW53yfT7x}l7E%LC>VSnc(feSXqKi+dpfje1pbA^s#Ht*`T(nixGY8%hqtSQsl
zJ>#$J?rz&vD;HWi8+#dtZw~rACC#4w@r=SBb4vU;pKC0i{<*H}p2&O6N1D>hOni14
zrp9Einl^n}#A=V#fveqL?=@TZcKO_8dtG-&{%+)RJnp3)qwb#Ge~xwT^WdAocb9W5
z7xT5X`npbURrXTpg}YtK_vbBtH)GzuxQ2N?`OEKB?tT7CrdI!N$lu&w%fGtwM6hk<
zQDM8yb56qMsA*xojjaCh+aCj+V-GtxFHM}9IQ?PE#GMyy7GHJib>r{JJQnj<<#Fz@
z++&N?*whr&ynSE!zMB=~yK|Z5GHV}epW|oGoLzMG+Dy~gwuaY@p3i<h`}*wr+Y_QH
zqI9;c*tR3pbJLTkWs&c;?a6D6vW#3B5gHY{*=_CIwW`;4uid>|aQRNZ$$qQnT}wZ_
z;p4WG+g5Iu-0<`U+wFDRa<|ncrYDJ~Z$G;3@Vm)-C)e((?fq-Z&f9*IZ?$ZcY+dn|
zA`z=Ft9!G~&3R{Ed-Th+m-^`u=LOE+Fn+vE__XGc%(=m{FT1CUr|&Fo{@l^s>D_c%
zZ@Qh{Z0TcnPwai-Rr0kk_F>hfuXAT_o_*-;ireeonZ3(=*M4XI8I$>%^CFFlFC0GM
z{2=h@MSJe~Qw_53uc`BQ_HRtz`dnE*S$|^q+Upy(FD+m7J@LJ`-8Z|U`H$@$+nC=o
zx)&LL#{9tc6WdSwAI_f_-+JG<Uip8@|Em8N8J0JwGNv<kHaa#&GyVQiRin7S&)({G
z>bFfd-#Ydz*y$+h*x$6a>FL3>iWw)~OjxV<{rQY@6VGMxwFcC^xORa(@mXT`;W{4m
z*7nx$Hv7JUjtHrXhSN>UFWzx3zVGtOWtz*q+3AM<mg{xBOttJ*>1Em6GT&vg%l?>N
zTI89l5pyFvbG&6N^|aQR<>l<V|L5)J_D6FcaX+pWpP_#uwxDw1xkF!Cmy4~`6VkDo
z=HS!eXEEi2qkz^5u^!b=!sV)cT$P7p52Y*VUo^Yeal<)AOV00;hn8>Eq&E}ym{zJB
zHD0RobZ3kD$_aaXczy29wwfn4t4tx+$kuAFVe_Pk6AGPHDf&*{mi{XJSz6iYHL0ze
z{vFNh-mWh<mHlM)<_T+9BXzm9IW2n;5~Xoni+xjiYIxfIvz@0br>&l+efI5{&8Kcp
zFrV{&{{Oc^hlCzZ+P1XKJ6u;b;@RFcS(ck@3M+4OJr-rvZVO{uW3!`cn^x{s|J859
zr?0Eqt5)Tk-57W9RMWw&jM=ZbL%E)|*1o=T{cWs&gns1xt%<+d=1SX%c6O~3xh+0j
zwEl+1or<T@?fIwn&%85b%gWV9cBY(9yOj3w**)EP(R|ZZO@B6>FOT=;tu4Iw!?wKr
z`pxyW{`9jNw|6&hbKbdlzs-(4smo8EJ8NwpvLxh7$gdEycbD#NO}zdi@8Ub@>OJ2~
z-dw#Mz32O1yOaBFhcbrxUQN52`rGsO=I{3FI#<2?G3|G5>{`Fv!nennFERgRSLWMx
zedm>{vX^W_g8Hv%zjo(4F2C>J-1p_Wyk@+iy>pH|QZ8_*eDd-;=l$<;yjHi$daBnv
zWWOw5CYvs+pXD^`(=4~y!LxoxCq?h_KVx_C+N*n2f81}&^UpD{iLCVc9C9-A*2|{L
zlhZ$)@0mMwZf%|3&pQdX7j3J4o_y|p7JvTxT>>Q!FS-8jer~<T`drMX9VMSO-F_+@
zz9W3rdaL-{S0%4({!PB@e|-0x-Luy1jLF{lu4?br>a_1KrRSNSyZdEt<wvpq*RIa9
zw7t9cb5;KLqu;;Y7rR?mr2hBZ>D@QW)!(h%<G&~Vi^E&To6dLJui8idyL03Ho%*Z;
z<qJMvyyO0zt+o05zlmS_`JGw&XZD|N<86CA&%(~q@{xVf-<N-uJD*QEuQpHo-=cq~
z*NKbi*ZsKq`ue$xGcGQi{%QK;{kb(u|Gql#T5|pEV~38(?K@dvY#8???DyM)<#)<u
z-!Hz;@BgGmp<d&E#?OskgD))qJy~+{<o_(pGd}-GHrBn(z`&r8>=ES4z)+>iz|hdl
z!0_`w14F}028L1t28LG&3=CE?7#PI!C&eFiV_@L?=IP=XQgQ1|ly^sJxM=L}JHO-h
z{wfI%UuFHW=A~G&kh4?L5l4qPuT%sA4TRVk-IX$$nAx`pDWwRV(Gd#hT*0EKBK+9H
z@nU1g64BkxCiB%I?!H{Ns&0Q(==<{XaeU{#-&^G(JUionclq9`@AIn9-}}90@3&je
zr%gD*{?p(`gS;xkoT|hM+Xl@BMTXlF$_y0;EKSZy|DW6Yz@zM*$uZ3arRsTUk7qqs
znVtRb#@}{MhNmmV+rr=HewCYZ{_W%L?p(plTQ_!yHaIxsFL#)b@ZuS#J*R_*!yNuR
ziNE%1TMxtr{kQ(h$+$p)Q_x}Rj5mE(SKVX3^H+)CgtGmeA59xKr|<vwQ+k78*qbvu
z?eG0pK7LWPSvu-S`MjUj%O>A!um5niI!?d$)#dLsZ?xvz+q7ec>WuJZjePwKUfYD;
zNxk&%T%v!ke*2_<Z59UX&HL4@T{&FtczN!US!)q4kZ#>&{cewx{{B0)d<X8PhMwiu
z)zg1)hb?fH3AbW{fv?^<qfDlt2h(;G+8ttLPvMq+uIg|?GQRw@I#c6L)otuYemzXR
zk@dNZL4$S5#|Q@RfKM}prp#jO;d6_zzSDkEwQs_$8&8&8Q9jQc(Hs;l?Qq9J^@vEo
zX(k4*(8kaoE<Tf6RfOJ8sea&?IY)jCYqTTB-&d}$Jo~t1jDDJJdDe8iqW;9^J!Mmu
zoGwyLR^j;g#&N~2<=1)mG$*!BU{CZ=*{#kH{aC@x;;DcCpQ*i`!q(NopQkAXdAaX6
zp<(DYx6|Zv!gIDO_R<e|rmQ%qDbHxKDfHFn>)L(4*G09LXdV<YYMODDh4-}2wSdZk
zHn{@3LmI}@xT+qv^4?2cH0eid3|~tEyRo;EL#b=iEd$kxvl})D$<GlAR{Essx2xZn
z(W`9xlPkgPYJYtcvs#Kn=Bnphc{)j9>VzpWLG>^8y+5Ng>#j0m(@oh&MVe2#y_iZp
z5^jc@Up3~-ZsZ9LddaNC=%l#Wx#&ZJ1cShFZO!h_uelsVDx(~(I@=z$E#?xdw>`mo
z<c^1Sw-oDS7E{(OA*V|eyAxvW9555e;QjyANjYKe`Oh(5BBwV89JZBO5@h>dBS)aE
zIB06A6f0*`YZOyhuz(R)a_&uI=f}U&PrmKFdHi)`Adk4I^1N9!9FEDswE`UiT}4)D
zrAbb{+OwX2&apbYz`kYG(L;xr_+%}4l6`tPJr~Rhm-xcI;WJn2?$)bYLq%LS=9jM7
zD)Fst#`!djQ$p?6`4(TzTH0a0#O2C0u8tWqj;!m@T*&)#g8a3pGw!iAA2?l?t6JQj
z|0sO@m%=A6q88aQaUET7`{;AKyp5Lxzm%s}{9CGbtzZ7^s!7Icw%<KmTOJw_&se4&
zZ1a8j=?L309>>e>Cys7XRJeLm+p;A|_1vCmYi=+YBz;)9yYE3?|2k)vf*Ok>GxZEt
za!fUe(b)0*Tj-t2+ghhK9Z4}dn7!CGhsS8)6Xw#_CqwU)X0vy9cW=1%Xl*8cx?a`U
zVByM0)v)6(H@O&AJu-@xcC~$Q_xDEAxUP#6uW=o_s!_O=UzjoGR<uLl6o!UHTN~cJ
zyW@Ln#jCxZoR?qiV3^4?yIR&jy~=3)3OO&nPsg;MPx|sp$sq99-7j0jZL;(^<KBly
zWN~gg-ZlC9)QaTAUa4o*-=7jZ`0}jeHE~|E?;@+S*>>lL@;+0&)+g~NHM=i+8gG^G
z(NC)wtIc>%Ep=V;ETBNu(PQm?0SVQVN@uG%waIN~*Bw1IDZwD9gnic5{>-=M_C_we
zy*=WUL{FLM;lQpsr<MnYT)Qu3G)+xy{y62u*IeJ1T++X;)rY6LG{rM+*RhNXnLI1~
zT1jrHcFwl|VV|6mOo0XW!@n%t%AmqIm+NvtyF`zPcErM!6W7d2|9bHG>Xe{EmsjL(
zHVw9#G^->dW8>Zx-TcoEK3aQG+T-4v)mK=RzLzf5`(O0$%!?RN1H0ogEqkW%sYYp>
ztH@6fm^ABjNaE+4rtY(TEA$v0adp-Vlz(c~$(wm2XWks<77@K}+1{*4D|c=yTqO{|
z;W9b0<yg_&?fqxvdN;maxjt}heA?b9^V?D$!HX<TT#xXWx^bTI`*dTSWonD$lwD(Y
zFJ7s$Ic$oah-t3#vnuV$`u~=^V7zqd^uP5sKg}m=8Ge3sI%U~((Sw~cLLyUy>XtIj
zTcdd1L9kxy`^&|9uJY^*3%}N~s;#<v(kqE}m7LVXp3Z28Bey>o1TncyeU<9sQR;X?
zInyA-_@%0tMoXN{YkigAmFr$AtvY4Ncwp(KRjgBIoY$JNR%qD-oy<x9`tQ7%Zg$0T
zrRx0V`CP&6pZ)HpU*q4bcI4B8A6Ade71jv7no=Ce)X2qjT<d_6*R&}vc0wN$PfBj+
zysWZWIo_=Nmz1^R&u0-!a{cS|Tt%ZYc~*sm7BK9)V_}f}RQRk%^1K{vgPd(fiw`va
zs`Qj*{4LddY?;#c#ayc#`*+s4-sLQBk79CNt+L?SCXHy_p7OGVAsrk&9(y$f8ared
z;>A;$&EstLN*XQ@6j6$+skDr_ZME{b`-D@gq`0+o7iJ}EXSo>6@>f(6<(#od<J|k+
zV-q=hBsx5V%2VEczp==3na<xb_J_Z@zWOAJUdw-CF}ucIdY<>!Hf!Zj(X6ZH@BV$?
z5&EcSIl}}dhB#IOt>usR{{D4so?X@B-c38U%_=*;WB)WaE0N&)+s~A*``gmaC;B4S
zch3hVpXBel`R<H6wuLo(3p%bJo^^E5mIV&l-4DNst=?Jp_GSJZGqFiOK0U6lVVE#q
zLiuR*-QD7XGd8todd*mL;8p4Mq|%!YKDEjU^xRVY=G~iH%C%tIp}h6d;qGf$Ltno?
z;<GyFlyhqK!*qY!8t$b(C%wNoKi<x7)8QTKHQw)ez3ske$Aih@=l6eooGfqEn3>Pf
zpwVTNeNOe=a<9MxTfD#M$1y$s_T|>aulm#0Cf%yBb$NB~+tPd2g8A<UefGHbHu_Ys
zKF|NPg|pYsy&bvx->s=x<y;&AQ`UZ1rm1vpi?>JQg58CU0d=81uYbQ*UsvniEVujr
zhkw&+!hc!Rf1CPrk<N5i)s;7Wj&vGoSmlOnmSoG1o3ZNA<?DB99+|)Ysryv4zC3!y
z`7PG6f#)5T-7VU>*g!-4R)gT1oZRGX=Kt6;-|c<&Y_{3I#n;z_|GAsH`>RWJrR0_t
z&FBe>Ty7Tn^;FgN{BD+PbdP$wbooEglzZjuX6NSEhD=#I`xbX@0B5k+jPuJSa$=jp
zuFmMncRusIul~uBxQ*g>!(aV)mmc14_vJ<Y{7hY$Np~L#eEujAbu-KA=Fg|A_4odG
zB479MNH&8OL-<es*|k~>f3JORE`K^BX662=0u#3`+PdM>(%}7dM@3SrZFc>6ZoI$#
zn|uA=yZ+~^nAPu{Fl>lR+w<#w?lTV0SHE95SoGa3_<i#2XMO+8_JSwu@4u_J>#GrW
kJNf^A)YJVne~K9%S4^6&@r~gc0|Nttr>mdKI;Vst0Qo-uqW}N^
literal 0
HcmV?d00001
diff --git a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/cc-by-sa.png b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/cc-by-sa.png
new file mode 100644
index 0000000000000000000000000000000000000000..c67509f1264e4b845b643e340cb39970e432c711
GIT binary patch
literal 672
zcmeAS@N?(olHy`uVBq!ia0y~yU<hDfVBqIqVqjqSv-<uG1_lO}bVpxD28L@luJ}h7
zF)%PlmbgZg1m~xflqVLYGB~E>C#5QQ<|d}62BjvZR2H60wP9djGV*kB45_%4lpvAV
zAlUK$|9|_Sn$ssvFeR?NxkV~6>HNCA#>>yWdGSI+U;p@(XRlsWy}Gh;+q<wr&O(Lo
zxUhp)Pkw#e-rsy@`-F<rLsKe#K6?7;=;^|rVjN}f@8zbYneD9SYWe-}ar>dBLkopY
zM%e7BImwlnm>9FKl_8<v&Yr^J!?$`Jz8&|Mx2dt&Q@f{qRl9!do+<O@@ukeMtqzNf
zl$`OdG4sdY-`^dCPOx<`9PRDxjg5&}7rU3uw6&A-gsZo`K*O9l1~-3fy|Abt@z962
zPtVV{WB$vW(%#z2DCrR0n3A5ZeqsLmdwZFW{n=any<wBXLF?`B4+NVUOiZ38;J{F5
zGKW#6F=x%b)E34Ry{mtF-aT9&zmLJw(a|ws3X?6{M@s`n=9^w#UJf6(Y}s<*LO_Hd
zf9bFD^X(-fB{m+DxKk}~{qW9=kDL=-y*a*gB<9J<DR6$#y^!x9&y*}0q{F<^!Jhf3
zww6}f*;%dAEN<Sk{P+K7zk1uoYXTpB99bpjJ1tD^+U4s{pFVB<AuO@6`r8}ETU=i(
zC-C;<Dk>^2;858;&$8GpFj8=lcSAfwMBu~z#HLa<&sUnc6$;l6*T()mKi_VD{eL^T
z+yerJhK8Me-FzJ1*o#t^KAj~!YkS^Js}rvi6Ec!Cmo9$1=-$3s=AIy%S*K5(3JIC2
zxbNw6;Ts!Mk1KrF-Iv9Aqt5HB&)PL>a`N+!uR4D6=F4ASU$d&Re)w|7eqsF<U0aXa
jmz39TKEfc7z~EkB`gr%r&$Ad97#KWV{an^LB{Ts5?!Y>S
literal 0
HcmV?d00001
diff --git a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/default-layout.html b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/default-layout.html
index 9953812..d01ccdf 100644
--- a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/default-layout.html
+++ b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/default-layout.html
@@ -39,12 +39,28 @@ url = "https://spreadsheets.google.com/spreadsheet/viewform?formkey=dEJmXzUydnRz
document.getElementById("feedback").href = url;
</script>
-
</ul>
</div>
<br/>
<br/>
+
+
+<div id="cse-search-form" style="width: 150px;">Loading</div>
+<script src="http://www.google.com/jsapi" type="text/javascript"></script>
+<script type="text/javascript">
+ google.load('search', '1', {language : 'en'});
+ google.setOnLoadCallback(function() {
+ var customSearchControl = new google.search.CustomSearchControl('017699211055551047357:t-4vw4yxuhq');
+ customSearchControl.setResultSetSize(google.search.Search.FILTERED_CSE_RESULTSET);
+ var options = new google.search.DrawOptions();
+ options.enableSearchboxOnly("http://google.com/cse?cx=017699211055551047357:t-4vw4yxuhq");
+ customSearchControl.draw('cse-search-form', options);
+ }, true);
+</script>
+<link rel="stylesheet" href="http://www.google.com/cse/style/look/default.css" type="text/css" />
+
+
<br/>
<br/>
<center id="navlist">
@@ -56,8 +72,8 @@ This work is sponsored by the
<br/>
<br/>
-<img alt="Creative Commons License" style="border-width:0" src="icons/cc-by.png" /><br />
-This work is licensed under a <a rel="license" href="http://creativecommons.org/licenses/by/3.0/">Creative Commons Attribution 3.0 Unported License</a>
+<img alt="Creative Commons License" style="border-width:0" src="icons/cc-by-sa.png" /><br />
+This work is licensed under a <a rel="license" href="http://creativecommons.org/licenses/by-sa/3.0/">Creative Commons Attribution 3.0 Unported License</a>
</center>
@@ -82,6 +98,14 @@ This work is licensed under a <a rel="license" href="http://creativecommons.org/
</table>
</div>
+<div style="float: right; text-align: center; font-family: sans-serif;">
+<a href="" id="feedbackbubble" style="color: red; text-decoration: none;">
+<img src="icons/bubble_48.png" border="0" align="middle"><br><b>Feedback</b></a>
+<script>
+document.getElementById("feedbackbubble").href = url;
+</script>
+</div>
+
<div tal:content="self">File contents</div>
<div tal:condition="self/tableofcontents" tal:attributes="class string:contents ${self/nodeName}-contents"><!--<strong>Subsections</strong>-->
diff --git a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/icons/bubble_48.png b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/icons/bubble_48.png
new file mode 100644
index 0000000000000000000000000000000000000000..a4117f15e2ce1499dffe342a7b1c253535788894
GIT binary patch
literal 5323
zcmeAS@N?(olHy`uVBq!ia0y~yU@!n-4mJh`hH$2z?F<YIoCO|{#S9GGLLkg|>2BR0
z1_mzwOlRkSfQ<Z-{NjxK0tHWJXN7{I{ItxRR0f8MTXTccLxNw5*?zzG#mT#)VTyNt
zkSK>jkW+Vq$V4?QMNR>)4#kBxMFS5Cy1KGRpIFer+}GF8BO0i~)5Udz{fXkDzUIXp
zU8jCOtX`abZO`{-Xa8-zZufl6=ee8DvmfB#ndV^}XxhND(n(J6LG$q=#~wb>b7<sJ
zDPR!b*qowR{8yQg;YXc~jkeMO_I(VD6_>d=7!LT(K42iz{-6Jq)65vgh8D&HB@->Y
zIT}P59IE=9mN7WEF*eMdp%%=rfQ2F9baK*Th5%iL1oir7ml+!7{+L<K$Phh6QIv7P
zL<R-n)D9Ph3~Pop=fk>O86pfAMAE#ESTfwuWiapzPxD~du$|$+IRWlX3>-WR27w)|
znhY$}3<)Qcl`9xpW-^GleG0evsJ%|$xfTOM#mr4MJ5?-Q8>2aN3)#cN_2e|pd5UX`
zm?bhL&T`N@R5?@9sL_P~!RIp!3=1ZT3O;E5{I}v9-@0?>%=)(R#p}M>&-Py_De3XQ
zr{`A}I503gEUCNrPe*^VRD(5JL+-yts_$4b;<y)-e(z4(#P6_`VZqB=;hzgYVdJ`R
z!p@sFpFVkV!|RAsbmFP-+JEVX;tz!X&G}hp^XL252m2nWG#bS=y0iRvaOlhzpQSSA
zCvmnU-FepU{%1S)|39*qm5z8O?TpY8c^oKI*yl2<=d;mLrB0_wnnzVH{ZDyxU*|Wo
z-F;Jr4Ow=K)f07B#3nO;^Hvv#C^_)xI|IX~-T4QvXmBt$WHdiKU;h8S{a^P5stgTj
zo|6h07~))1^g>Q;wm;6nz~Hi=QEP*v^p}GYItSQf4zk`k$o(h5ti?&?$RQ^IC$5wR
znW6;EHBC+$ZD%*gY9;7jaga4R5SY<6xqwgaQ0NXm+XDVyi5&9|YV2v`WN|#fA)Kgq
ztAjDAD?+)CLwsiI55<EXEJEEX3MV^60+qZcntB)pb%iK|ddPmVEn>24k8#^I(fR~~
zQPZEcJ?@568aD;nUg6p5ymN)QREygp?h7d;hO_#`7R<g-v_;Cc$86#A3#&8uZ}r<b
zA2&GgLW14+NRENtvBORqEp#|1C!gM^w1#K(F{uq<YnXR;eoa2Vv7AMy(e(hQ8B4j7
zLZY0bM}$v=-wlry3Nk7tg10!$Ihk7m52-6nUg5n(ZI|HBBN9nQhV2m^I?C6C`i1oc
zsym#In5zhNIvc6)oWSI{aY@J}p-XO;@`99K>a3h?;vuCx`Q)vX>`m;JQ*;!xPqaRn
z`{eKw<0sNj6hB3C%}sJBT=FCMkw(y|EHBBY0#8kzvZc;2atvKOE9mZug&~5b{ZUS9
z7j6q$AK1P^*rarp<=JL2Pw%B`7frn^l_8$-J#+nwl3jv#r^@+FzYu=u^h@^_(_b)u
zDd*vB6Ky`;k**;*TY_C8U9wza{S2RFl9#(BkB1nT8@`_Ld?x?Q{Ll!kZCW*=6HjqX
z^_r?SRa#3wWaX-5tM0Ah4*eW@I;4MPTyX6=w@~BY$16FnOj{kgYHq;mVCmrWmDVfT
zSEaAW53yfT7x}l7E%LC>VSnc(feSXqKi+dpfje1pbA^s#Ht*`T(nixGY8%hqtSQsl
zJ>#$J?rz&vD;HWi8+#dtZw~rACC#4w@r=SBb4vU;pKC0i{<*H}p2&O6N1D>hOni14
zrp9Einl^n}#A=V#fveqL?=@TZcKO_8dtG-&{%+)RJnp3)qwb#Ge~xwT^WdAocb9W5
z7xT5X`npbURrXTpg}YtK_vbBtH)GzuxQ2N?`OEKB?tT7CrdI!N$lu&w%fGtwM6hk<
zQDM8yb56qMsA*xojjaCh+aCj+V-GtxFHM}9IQ?PE#GMyy7GHJib>r{JJQnj<<#Fz@
z++&N?*whr&ynSE!zMB=~yK|Z5GHV}epW|oGoLzMG+Dy~gwuaY@p3i<h`}*wr+Y_QH
zqI9;c*tR3pbJLTkWs&c;?a6D6vW#3B5gHY{*=_CIwW`;4uid>|aQRNZ$$qQnT}wZ_
z;p4WG+g5Iu-0<`U+wFDRa<|ncrYDJ~Z$G;3@Vm)-C)e((?fq-Z&f9*IZ?$ZcY+dn|
zA`z=Ft9!G~&3R{Ed-Th+m-^`u=LOE+Fn+vE__XGc%(=m{FT1CUr|&Fo{@l^s>D_c%
zZ@Qh{Z0TcnPwai-Rr0kk_F>hfuXAT_o_*-;ireeonZ3(=*M4XI8I$>%^CFFlFC0GM
z{2=h@MSJe~Qw_53uc`BQ_HRtz`dnE*S$|^q+Upy(FD+m7J@LJ`-8Z|U`H$@$+nC=o
zx)&LL#{9tc6WdSwAI_f_-+JG<Uip8@|Em8N8J0JwGNv<kHaa#&GyVQiRin7S&)({G
z>bFfd-#Ydz*y$+h*x$6a>FL3>iWw)~OjxV<{rQY@6VGMxwFcC^xORa(@mXT`;W{4m
z*7nx$Hv7JUjtHrXhSN>UFWzx3zVGtOWtz*q+3AM<mg{xBOttJ*>1Em6GT&vg%l?>N
zTI89l5pyFvbG&6N^|aQR<>l<V|L5)J_D6FcaX+pWpP_#uwxDw1xkF!Cmy4~`6VkDo
z=HS!eXEEi2qkz^5u^!b=!sV)cT$P7p52Y*VUo^Yeal<)AOV00;hn8>Eq&E}ym{zJB
zHD0RobZ3kD$_aaXczy29wwfn4t4tx+$kuAFVe_Pk6AGPHDf&*{mi{XJSz6iYHL0ze
z{vFNh-mWh<mHlM)<_T+9BXzm9IW2n;5~Xoni+xjiYIxfIvz@0br>&l+efI5{&8Kcp
zFrV{&{{Oc^hlCzZ+P1XKJ6u;b;@RFcS(ck@3M+4OJr-rvZVO{uW3!`cn^x{s|J859
zr?0Eqt5)Tk-57W9RMWw&jM=ZbL%E)|*1o=T{cWs&gns1xt%<+d=1SX%c6O~3xh+0j
zwEl+1or<T@?fIwn&%85b%gWV9cBY(9yOj3w**)EP(R|ZZO@B6>FOT=;tu4Iw!?wKr
z`pxyW{`9jNw|6&hbKbdlzs-(4smo8EJ8NwpvLxh7$gdEycbD#NO}zdi@8Ub@>OJ2~
z-dw#Mz32O1yOaBFhcbrxUQN52`rGsO=I{3FI#<2?G3|G5>{`Fv!nennFERgRSLWMx
zedm>{vX^W_g8Hv%zjo(4F2C>J-1p_Wyk@+iy>pH|QZ8_*eDd-;=l$<;yjHi$daBnv
zWWOw5CYvs+pXD^`(=4~y!LxoxCq?h_KVx_C+N*n2f81}&^UpD{iLCVc9C9-A*2|{L
zlhZ$)@0mMwZf%|3&pQdX7j3J4o_y|p7JvTxT>>Q!FS-8jer~<T`drMX9VMSO-F_+@
zz9W3rdaL-{S0%4({!PB@e|-0x-Luy1jLF{lu4?br>a_1KrRSNSyZdEt<wvpq*RIa9
zw7t9cb5;KLqu;;Y7rR?mr2hBZ>D@QW)!(h%<G&~Vi^E&To6dLJui8idyL03Ho%*Z;
z<qJMvyyO0zt+o05zlmS_`JGw&XZD|N<86CA&%(~q@{xVf-<N-uJD*QEuQpHo-=cq~
z*NKbi*ZsKq`ue$xGcGQi{%QK;{kb(u|Gql#T5|pEV~38(?K@dvY#8???DyM)<#)<u
z-!Hz;@BgGmp<d&E#?OskgD))qJy~+{<o_(pGd}-GHrBn(z`&r8>=ES4z)+>iz|hdl
z!0_`w14F}028L1t28LG&3=CE?7#PI!C&eFiV_@L?=IP=XQgQ1|ly^sJxM=L}JHO-h
z{wfI%UuFHW=A~G&kh4?L5l4qPuT%sA4TRVk-IX$$nAx`pDWwRV(Gd#hT*0EKBK+9H
z@nU1g64BkxCiB%I?!H{Ns&0Q(==<{XaeU{#-&^G(JUionclq9`@AIn9-}}90@3&je
zr%gD*{?p(`gS;xkoT|hM+Xl@BMTXlF$_y0;EKSZy|DW6Yz@zM*$uZ3arRsTUk7qqs
znVtRb#@}{MhNmmV+rr=HewCYZ{_W%L?p(plTQ_!yHaIxsFL#)b@ZuS#J*R_*!yNuR
ziNE%1TMxtr{kQ(h$+$p)Q_x}Rj5mE(SKVX3^H+)CgtGmeA59xKr|<vwQ+k78*qbvu
z?eG0pK7LWPSvu-S`MjUj%O>A!um5niI!?d$)#dLsZ?xvz+q7ec>WuJZjePwKUfYD;
zNxk&%T%v!ke*2_<Z59UX&HL4@T{&FtczN!US!)q4kZ#>&{cewx{{B0)d<X8PhMwiu
z)zg1)hb?fH3AbW{fv?^<qfDlt2h(;G+8ttLPvMq+uIg|?GQRw@I#c6L)otuYemzXR
zk@dNZL4$S5#|Q@RfKM}prp#jO;d6_zzSDkEwQs_$8&8&8Q9jQc(Hs;l?Qq9J^@vEo
zX(k4*(8kaoE<Tf6RfOJ8sea&?IY)jCYqTTB-&d}$Jo~t1jDDJJdDe8iqW;9^J!Mmu
zoGwyLR^j;g#&N~2<=1)mG$*!BU{CZ=*{#kH{aC@x;;DcCpQ*i`!q(NopQkAXdAaX6
zp<(DYx6|Zv!gIDO_R<e|rmQ%qDbHxKDfHFn>)L(4*G09LXdV<YYMODDh4-}2wSdZk
zHn{@3LmI}@xT+qv^4?2cH0eid3|~tEyRo;EL#b=iEd$kxvl})D$<GlAR{Essx2xZn
z(W`9xlPkgPYJYtcvs#Kn=Bnphc{)j9>VzpWLG>^8y+5Ng>#j0m(@oh&MVe2#y_iZp
z5^jc@Up3~-ZsZ9LddaNC=%l#Wx#&ZJ1cShFZO!h_uelsVDx(~(I@=z$E#?xdw>`mo
z<c^1Sw-oDS7E{(OA*V|eyAxvW9555e;QjyANjYKe`Oh(5BBwV89JZBO5@h>dBS)aE
zIB06A6f0*`YZOyhuz(R)a_&uI=f}U&PrmKFdHi)`Adk4I^1N9!9FEDswE`UiT}4)D
zrAbb{+OwX2&apbYz`kYG(L;xr_+%}4l6`tPJr~Rhm-xcI;WJn2?$)bYLq%LS=9jM7
zD)Fst#`!djQ$p?6`4(TzTH0a0#O2C0u8tWqj;!m@T*&)#g8a3pGw!iAA2?l?t6JQj
z|0sO@m%=A6q88aQaUET7`{;AKyp5Lxzm%s}{9CGbtzZ7^s!7Icw%<KmTOJw_&se4&
zZ1a8j=?L309>>e>Cys7XRJeLm+p;A|_1vCmYi=+YBz;)9yYE3?|2k)vf*Ok>GxZEt
za!fUe(b)0*Tj-t2+ghhK9Z4}dn7!CGhsS8)6Xw#_CqwU)X0vy9cW=1%Xl*8cx?a`U
zVByM0)v)6(H@O&AJu-@xcC~$Q_xDEAxUP#6uW=o_s!_O=UzjoGR<uLl6o!UHTN~cJ
zyW@Ln#jCxZoR?qiV3^4?yIR&jy~=3)3OO&nPsg;MPx|sp$sq99-7j0jZL;(^<KBly
zWN~gg-ZlC9)QaTAUa4o*-=7jZ`0}jeHE~|E?;@+S*>>lL@;+0&)+g~NHM=i+8gG^G
z(NC)wtIc>%Ep=V;ETBNu(PQm?0SVQVN@uG%waIN~*Bw1IDZwD9gnic5{>-=M_C_we
zy*=WUL{FLM;lQpsr<MnYT)Qu3G)+xy{y62u*IeJ1T++X;)rY6LG{rM+*RhNXnLI1~
zT1jrHcFwl|VV|6mOo0XW!@n%t%AmqIm+NvtyF`zPcErM!6W7d2|9bHG>Xe{EmsjL(
zHVw9#G^->dW8>Zx-TcoEK3aQG+T-4v)mK=RzLzf5`(O0$%!?RN1H0ogEqkW%sYYp>
ztH@6fm^ABjNaE+4rtY(TEA$v0adp-Vlz(c~$(wm2XWks<77@K}+1{*4D|c=yTqO{|
z;W9b0<yg_&?fqxvdN;maxjt}heA?b9^V?D$!HX<TT#xXWx^bTI`*dTSWonD$lwD(Y
zFJ7s$Ic$oah-t3#vnuV$`u~=^V7zqd^uP5sKg}m=8Ge3sI%U~((Sw~cLLyUy>XtIj
zTcdd1L9kxy`^&|9uJY^*3%}N~s;#<v(kqE}m7LVXp3Z28Bey>o1TncyeU<9sQR;X?
zInyA-_@%0tMoXN{YkigAmFr$AtvY4Ncwp(KRjgBIoY$JNR%qD-oy<x9`tQ7%Zg$0T
zrRx0V`CP&6pZ)HpU*q4bcI4B8A6Ade71jv7no=Ce)X2qjT<d_6*R&}vc0wN$PfBj+
zysWZWIo_=Nmz1^R&u0-!a{cS|Tt%ZYc~*sm7BK9)V_}f}RQRk%^1K{vgPd(fiw`va
zs`Qj*{4LddY?;#c#ayc#`*+s4-sLQBk79CNt+L?SCXHy_p7OGVAsrk&9(y$f8ared
z;>A;$&EstLN*XQ@6j6$+skDr_ZME{b`-D@gq`0+o7iJ}EXSo>6@>f(6<(#od<J|k+
zV-q=hBsx5V%2VEczp==3na<xb_J_Z@zWOAJUdw-CF}ucIdY<>!Hf!Zj(X6ZH@BV$?
z5&EcSIl}}dhB#IOt>usR{{D4so?X@B-c38U%_=*;WB)WaE0N&)+s~A*``gmaC;B4S
zch3hVpXBel`R<H6wuLo(3p%bJo^^E5mIV&l-4DNst=?Jp_GSJZGqFiOK0U6lVVE#q
zLiuR*-QD7XGd8todd*mL;8p4Mq|%!YKDEjU^xRVY=G~iH%C%tIp}h6d;qGf$Ltno?
z;<GyFlyhqK!*qY!8t$b(C%wNoKi<x7)8QTKHQw)ez3ske$Aih@=l6eooGfqEn3>Pf
zpwVTNeNOe=a<9MxTfD#M$1y$s_T|>aulm#0Cf%yBb$NB~+tPd2g8A<UefGHbHu_Ys
zKF|NPg|pYsy&bvx->s=x<y;&AQ`UZ1rm1vpi?>JQg58CU0d=81uYbQ*UsvniEVujr
zhkw&+!hc!Rf1CPrk<N5i)s;7Wj&vGoSmlOnmSoG1o3ZNA<?DB99+|)Ysryv4zC3!y
z`7PG6f#)5T-7VU>*g!-4R)gT1oZRGX=Kt6;-|c<&Y_{3I#n;z_|GAsH`>RWJrR0_t
z&FBe>Ty7Tn^;FgN{BD+PbdP$wbooEglzZjuX6NSEhD=#I`xbX@0B5k+jPuJSa$=jp
zuFmMncRusIul~uBxQ*g>!(aV)mmc14_vJ<Y{7hY$Np~L#eEujAbu-KA=Fg|A_4odG
zB479MNH&8OL-<es*|k~>f3JORE`K^BX662=0u#3`+PdM>(%}7dM@3SrZFc>6ZoI$#
zn|uA=yZ+~^nAPu{Fl>lR+w<#w?lTV0SHE95SoGa3_<i#2XMO+8_JSwu@4u_J>#GrW
kJNf^A)YJVne~K9%S4^6&@r~gc0|Nttr>mdKI;Vst0Qo-uqW}N^
literal 0
HcmV?d00001
diff --git a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/icons/cc-by-sa.png b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/icons/cc-by-sa.png
new file mode 100644
index 0000000000000000000000000000000000000000..f0a944e0b89642ae282047846e55393007b04686
GIT binary patch
literal 5083
zcmeAS@N?(olHy`uVBq!ia0y~yV2EH~V36lvV_;xNKEd^Xfq{Xuz$3Dlfq`2Xgc%uT
z&5>YW;PTIOb`A*0$S=t+&d4uN@N{-oC@9KL%gjk-V5qn?H#j{c_@$Wb_j_NQygM4E
zc;^R+awr5jbvKAiRMS%A6!7X$TzFG7@SvcpD~t4r1s%+NeGNULfjT^0TsPRCC@$)2
zUfj`j>i5Iy#o5>Pe1CTK-`4AP&)0mOyZJo(0S=yN9>#&D4LmEI<OClyA3t*J;S)WF
zMlO{C1_6%EDT>8^l^Gd+)Y;f*D;;3p$G})|nVW;*fbZ-B1~Tpc`CmEBjA3kOVLVVW
z(ZZXfL4?7fs?TW|gM%Am!`vBa!3+yn7!pn=Cp~5e&}B$auYY!#p<(WinbnL8(Nh#f
z85c}sP!LY-aAC->W>|ARtjm=l!hk^}&HIQY!wp>q1JCd@4~7lf84jEi;NHZ*!NXt>
z*wL!Vz*5bSa6(zRf}v$5gNWOwaGQ_X>ja)_F)&oj++?#;#nQDgnnSmcJv>}bPUD=X
zxVDH{B2(fl2fag;GbN20P52*tKEuGUV4|qtgXYhFE6(w)J9o~kZyR5{?yLQ5|CN%G
z9{+oKeszHZ1H;3Tx{LpG^fya2ShF?c{#&H_jwK_GdqL^<?zBz(4qF)(yu20uxd0S4
zt_vsZym|BKlP5R4jyOdpo(ix1mwqVzK=|LBpLI5WzJGnN?~zKQQEa0-%Z~?#&V2D%
zDsz4kXG_wZXZ`MfwsZggBYRoth-cEy2rZGvfkK6SF0*<*8!c7pbeg1jRQ1yTlt=e<
zely$MH)Yt6Wye@OQFldbGV?cYb%BVI1CPElFnrpbfAES12XjM4^TYGy|KHpHbzh*$
z(2(XisgQvo&P7Ep<kV*S;~WeOE(;p9HaJRuIVhoXfKBEg>z#w#e-g}EoK%h+auRUj
zN@<WOO3+-><fPGdc7v=|g8mf;S(5{S8Eumb`1B5i?%=a6;Qy7#G4G(po<>d<#}gdF
ziHf&67?Zjpl>0cuXSV)OJm|q9)UBd$vO^?L$$O%yhhb1xh(f4`>?hkICd>91w_Ovh
zPcRrY{b}3dZaAfJQ=sh?o~_P1SC~t+xGmzokWyket6yxv><dL(q-=Z47CyhQI)ndK
zzn$}Og99%l*o}|m80Z~4?6lEBhjViB>5WQjcvc^i+7Pyed3Wd6<ntTLS%ey04{(~X
zlshRT$~k&O_(b^K@K~WBqhca>i_@Hwxh3$By3*to-dogm3I04Hkz{1p9^s**d`+ld
zSYM#J!}*B0icqJsk^0UFOr9H;gj^E3<aQ}9NcpAC%Go9!Qp%H0-b%^d#BMo7M?w2U
z>yx=p4nHw|BK<`1Q#9AyB!|K!KY|}=1f9zAl6)%g)Z{5!>I@^t(8aTY?yguEB52wl
z<+OI;wxIQa?JI;$N@rP~Z5H$NUb=SC)XP#C;u+sF*S{#)C3ttLoZs{d;g?Robbm4Z
z1@o739^N+5=Hngd8j`am*d@{>%O%#&@L48#xm)shh=IA`>lx2y^3Ti<jnLYrRU<m_
z6xUR*scKWDwe&+)u3EP0-YV|U&!MM7`d7vU*RFF5H4c8flJm;6)uF5A2D}cI4o+Wb
zy`p_p`ilGz`z3Xee>>SC5BnVUcU}^>U}OB_J;xNdlO;D-=qP6Mu5K%BG(DoW@$Ai-
zGOgV+{>tv|wq3Pyp{292mvQ*!pwCm%?AagBDEu*}#E<j2#`5W(>$>iVyw`lBDZR|Z
zXQyFmO!lg2)2BtO_E;Ub+WqxjvvqHm&t10Hb$8_NMn1>mUg|OG?&<yKSm!<uz8QRX
zIoEPAUt6oM>-1J-FO^=n+ogPe-tu=d=Ix7XnCFwf{9fhW=f7lX_5X(a&Hc6ft2<8w
z+h!gWw%a`CBy5hF7UtW?>L0)TG0-{ou!Hl`#HoqXAGS=~dC_L^RkvO@{+`TZF^^Rq
z=N`*Fwpfi#O;OF;_m%IvSwX%#muW7u_ObRke)i1SMQ5+gG@Wg0c-`pv?B}zu&%VDs
zA*v!uXWNQxJ5oJ2J&9Tt`EJ{uyw)ho$fXgXQL&rd*3Mn4dTsaG-OB}+@ARAOw|d^S
z^urrIZacYc<#x#pPj9f@UbiiGTWw-`l6d;|qw5a8o4j{&?XKG1zqahW?Kk;W%SOr8
z6>ljLu?n-gH|yM-clNbMzf60npB`~u;QS5a$J>NYYaYp*8$A26d%Ae~&f@0J9o?PY
zO{evy+v&}gK6dxS-X~rqUkhU&R$cl!clPGlhu*HZz5boqyUcg(cjlilnXfr7(zy7-
z;S<ge0-s*A=bk^+Ap8EBI)7*X#`LYvmGzVLCx)-RzG3^)@>Smx-;3LQvn!ha*zU27
z`8}h1k@08D4{SfN{j~q#{CV-M_nqsN|EK(~`hSsOd4norI&){EV`DVa?;lk)iu?QQ
zt!}4&+jR4-W6y$}j-rnJO>3K;9$c%KapKK{wTj=L&p0>nTqa*@K;4UL7uXY@C3YXK
z<56#IZw+s=?<?qtkh*9%-L(AT9p~cvF27u+x!jwbZs>2hUf0W1%Wjokmd!2mT_(Hi
zkLjgFp1B$^H^MW=TgFmPYn@qM&c6G9-hOU>H1`qr<7)94`X^!wDi@wR^rdyV*h)Pi
z9jj>$J{^7*Q$9EfXsr<IQT-%buG+^{c}Vt9x|04yvx^-!oMW`){62YT`BqJOGjWe;
zrOHv`r8-Y{wy3Y1u*Zkj=k9E)d1AB56mpGht@au=PntNP&}o&T@8oUiuhO5Tm7QLb
z+PdlA(Y)^M`f^j*PiAkPu!c2Kmus8TvKJvy8rQYhH>IbBr|m!6dCGFy>Ur8{-=5ig
z>h=WlIq&EHe=BrI=;5SoOWVA|b!8)-?Ol^)xyh!m@;29FQC97?Ft#-|JG!=M<zDq)
z{Wg61y1Kn;RleDcaR*N|9o)*8{hB+J>uGE4>pR!q#`;I-N8aC>_^WNMw4G>Y*E*5g
z;?qUzZ)n`9cq-kVe`^2CJ5#o-TzzC`%K5ZQX)mAM)14R1H*MAQXVdxecyHd?!h1h#
z%iFKtTyN`7KdW(jck?#qos0L|?AVjK{N%Z_*7hMwLcWCj3Nd?k>F(CV>p$`?zLT!r
z^UdVV)!Wf~zW=p5x$kx;W2o=dw5zGVJ%4ZhZojT`)yp5#e&@!n^~)`Mdz|?a^Ivvl
zzHQfcUb!lJ$u=aY|C;t|cfRBD`~J;+U#`n*#v9r@=h!3V0+-4sFTZo%|1QUCb*rqW
zdd)-j%kpKi>9YD+PP0DEa+@7I>vwcg^e+E1b{DU`x>xnb{kA;+921+!O0Ul$Co^xo
zY`Q!-{nPoLxl`xX*6IDclW=>{w(94}=k90m=fB@2Q1bAS>;LZO)_bha#eCXP@@doU
zr^4Yo!e_0wiqCyj^2+Al<jelYchA{9Yu(P6?49qb_HM0C`~FgTp82`EU-njh6#IYe
z>O4!^yL&%Z<$pi={p)?PyLCnCf6txXeY0Hs-P%3=d*Z)1ymh?ke7F6oee}OOH{Rc=
z&pJ@P;Pb^h?%&y3o6rB7__d$knYDjr|LHc~w%7A4>?|!G*%$qN`DeNF`IPf&^Thux
z`geMrxR`$3kE^e*pSw8Y;=<{lrcd6VTeI}<s{^kk*WW&N=$PETlNH8>abLoIzdcxf
zr(E{^;`{vmPihqEHU4M(-1s&4!t&pfB_~h*&%!+8^Pgm6-P;Td3@qu6zK#qG8~bX0
z2To>SU{FZ*2=ZlMs8VHMXlQ0&`1zlKq2VP1L#Y7+!>a@a2CEqi4C48d;*Yv9FmQbH
zba4!+xb-H=J4gDs<iBr<i;a}ZYQ30Nb(9E~e*9JGrL!qBct_vcRNdWWcdjhq=apKl
zF!ff^EssSS(JL3<T6p7-;Vm_x$6ur}{xV4|Hwe#ah?<fcRKW1cjcr1}bCp&v#^^hD
zUnZ8f?-u#GK+f^;5Ail@>;C%k{Xd`0um30L%u#5_^I3G>iCNr=Er|>Q3_A)xTSZJ`
zJ-z9H1)t98#^lHib1G9K4S2YxB_1%~IbbkNOh7<ju7kQ&$z6|G%Ot~No0q-3P}+O#
zrOWcSoQl^@U-<J_f&IHY6N3Rm2dm!kLbs%yLGvE>SWPo_Ogmt(MmAnpMmXXwL-6G@
zDd)5OCX~i5KX9wDZjQq<MvH?_D?aqCp13Y{XJ3j@XNXqo%|mOP1Lv;hvo3$v^1j{f
z&E4-tCUcojuR7L{p(A1NEaKL(e!rfX48?qg-ObhcI=nxVC2!_j3w-ynLP2)IhSKBH
zLK`>6{gPyOGCBG`!}-r5A@iR19{DH{=60cc9e;3e@adozWxFr_+g-M0%bTWEnHNk%
zS7oXBwyw&W@^I>mm~)TV|Nj&ce=Ke|aV`Tx#ooA%MH~z#Qj7vbSQ#!n$vo6~fz#&m
zo6Dh$8|MAue`lY<@aOzP|AWOfoDuujOl|r-(#@YJ&MXsPVVtD0aN$BmU0q#<hKCOm
zpM0)7v8iX~OvzhepS&$@{)@hnx2AQ~DvecIAzL{@L+7d;W{NP+-O2l6J$JlviBgZ#
zLI%%C0^LV1T)6PyM@Nla|F&&rCpPg+Kizt7-@Vl44flR&9@ze`l-pEngQ-o{4=MH?
zO$rJ!e99tRjsh*LqH02%TefZuTrk_lx1#<*{*Sm^-H@#vNgF+8#t1$!s=o6xO<Zl0
zFb4~hgp7=iul40EH)hWBP!Zr^yZ9vY(9B}n(@YB{{X2Qm)5q6OYV*c@a$moG)xK6=
z@LzEQ!-1J*GoD*~m@|3jA`PXve#%0fI$U}TEKH0~iY%>;s%;XsxL<xS@pR;?i3Uqk
z{@rBUV?OPeOBvH7m4$z=tW>pE6X0-|q~epJUXZV|S7&zgy8rK|>mUC8hufm+2S=Zr
z9n<^I`VTJ8HV<ENUr3B0;<WB#3m$D{zJkdopX|xpJcFaDA;rkkaawx{4}X8d;~%FK
zHcz|F&VJ(4@nhCUk_;<m%|8A2bQgD$j#%-RSf5j0`|s`ReYcL|)%;4axb^((QPGSH
z`~O|d{t;YXfAyCvgEWs>#GUeW{Y<777CTh3#hGuuy8XS~?(%fAgQ-6AXPMgau&GWs
z`*Qx-w1;1-p7Z7zNGv(S&(_?xtF4W#V(-1mc@C-@U+ar-omlpsnc<ta{o&u8jC+dz
z^;fK3ec6DYxjFQ8xzUY3KeEHu1?MZu@CA#lb765@ploMq+L|4{{xWYj<EKMvhbDQQ
z_g4`T{oMUE(&J5T^?lQhuh;qQ7o^(Py;NmzSQv0%I=@`V+WAa58#QP81Qj?f6v$no
z!S$!kzQ#_z#!i0G#TQMbf1j0XdNb|lqbF;Z^zK!?e86C;?-6rNz3JQ^D`cc&OLvsK
z3_5DYFK-t$F)w-XL4yQIwv{2L3O1^AGA-8Ns<E5Dc=95R01?)O0UUMv>*MbJ_+b${
zRn^l;X`+MHRHL#6vxG*W9jfd1EYY5PG9>1V&NDWq#>%f#f9a@v+h%Ih|827R#*N#i
zP3yh4&-e3rQ=9Oub<)kf{9DU1W}D|P<Gpq3){4I;pB9x|v@Uxik-ABv>%`L{2`Q<f
zA14?x>b4m~8?k@MdT4durNTx|qpPXL?!CtL-PzyvJl(9-#ngX%^ON@JujkL1<5C{Z
zvi{E>gR1It3${P!*=1$Lz_8qJ{<^6B%n83A1?8o$5#(lJx^m)qktGWgV^n&sor>q8
z(r>NHpVVEPuNv=TrC`ZcVVSgb>#wlI_7#6DnvVBNGn*SU9BgE?srtcD{cT^5vU~i>
zsQrgs{@9<oCL4X>NoJGIX%4pL&o`ntV<M+re3BUzc4xt)f7^FieVlxE_s65+Y^!I_
zp1ra=Vr`vzb7ygQ%64P1*}|PHX=!N_PNrPAaib%{B<fS?+1yQg&)MaA|I_{(dF}Mv
zf3?;zdg4NzEPv|kucm%){`}MCPo4d*-@hLg?JQ6#NxCT?@A?0m?Crt@TSeKUq911F
z#Z9d{mGHXtbxi3D-7`rwHFL~5T$H{%oNbm{#E^b9)o5mA>9mMluVP9Sj%<@<YcyT<
z?CzfF)u+CSJQDx?@!aj&38|8sbeu(8I~H*`3M|mzQa$X|WcYgR{B^e%m%DFFJj~{@
zd(njU6pp5bmoGEh(*^pEXZ9R?{Z&b*GvM2?$A!19#j!K=_V%85{<-3#yZ$4mH#Tx-
z&n}FZ;~c2FC?aHGWFcp4^SYNN9P#^tf19;wXKr}@ZEpSIWogWI(m#0?-fwxa%|M24
z{i~&G88{i{)c)3~+m&wqtgCp2w%9_kZjDu`4B;F<YHl;X(_yGu^7!l418>Wi85Ui9
zVI#g$YUa$D3s<kZ{nm{6V^~H|d)}?2(=j&d4ly<Om1N8+>?>Qgy`AaF_usOH_p%Or
z{aLdm|M%>-X$`U3jXB(bmt3dW#JRhb6tX*5Daoe1iR(&vxBTSl{WVvkUUh18sm%48
z{M1Wty7D58OaCUtE6x0!X;h}~T2)n@@v~fGYTlvzmJ@ToNSv&hr#LBo(bFb{3Gd$J
z8QI$IRoHO(^5rGFchBZ%a`^rB#?I!R`gw}wM#)Q*FMW(<nQrjZFEf1!^Y6bx74wd_
z?&JRP;*-0!ol)1kmu;(7Nyz#>{CYhu{-?<1nY_O<+iJf@*6j~Fzv2G+Q!Y1x)0Z4h
z`1IFA(xb-VPTu!T?q}YXP5v?eu}ZPM@4J*^C#vf!^RMbCwCK#*K7DQ2|Df|Rrp>yX
z`vnhOjF(xuT)?YHB7A*J?3WvL^SAKF<#XF+?=E_(b<XYly1I!g4y@anl=stEYwq{8
zZAZ@}{l2#L_O=Dams)?x@5o&)_^m)$rf&7ue)ZtVlPkX0@F*Wv&fd&*+aV_V@`ekW
z#j2mpV$3<YZd&Y(&E@>ta__gj-yL&KV%^KA+E9%L@8<5_QTX=QEXLoyh83F9``<Cx
wPn^o_%yILC!I}E`4jcKTd7Nha=Vkcdx_eE{)Polp7#J8lUHx3vIVCg!0J4LKMgRZ+
literal 0
HcmV?d00001
diff --git a/org.rodinp.handbook.feature/org.rodinp.handbook.feature build.xml.launch b/org.rodinp.handbook.feature/org.rodinp.handbook.feature build.xml.launch
index b6dc049..4c27640 100644
--- a/org.rodinp.handbook.feature/org.rodinp.handbook.feature build.xml.launch
+++ b/org.rodinp.handbook.feature/org.rodinp.handbook.feature build.xml.launch
@@ -16,6 +16,7 @@
<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="org.eclipse.ant.internal.launching.remote.InternalAntRunner"/>
<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="org.rodinp.handbook.feature"/>
<stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.ant.ui.AntClasspathProvider"/>
+<stringAttribute key="org.eclipse.ui.externaltools.ATTR_ANT_TARGETS" value="generate-eclipse,"/>
<stringAttribute key="org.eclipse.ui.externaltools.ATTR_LAUNCH_CONFIGURATION_BUILD_SCOPE" value="${none}"/>
<stringAttribute key="org.eclipse.ui.externaltools.ATTR_LOCATION" value="${workspace_loc:/org.rodinp.handbook.feature/build.xml}"/>
<stringAttribute key="process_factory_id" value="org.eclipse.ant.ui.remoteAntProcessFactory"/>
--
GitLab