From 29930bb717c0fda79b50b693c3e1f1bcd151ca42 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 31 Oct 2007 15:46:37 +0000 Subject: [PATCH] New image from Tassi's PhD thesis. --- matita/help/C/figures/database.dia | Bin 0 -> 5538 bytes matita/help/C/figures/database.png | Bin 0 -> 15256 bytes matita/help/C/sec_install.xml | 8 ++++++++ 3 files changed, 8 insertions(+) create mode 100644 matita/help/C/figures/database.dia create mode 100644 matita/help/C/figures/database.png diff --git a/matita/help/C/figures/database.dia b/matita/help/C/figures/database.dia new file mode 100644 index 0000000000000000000000000000000000000000..652ea01eb80226a77267362527a7fbeac6145aba GIT binary patch literal 5538 zcmV;T6ydl=YxWdBepRe0{^`%ZKTJ=*mepc1pM5wZ z2%nvnvzz(tWOn!A?4SSm`A2>B=Z`0Ux}6k1!9RCZ@o)-%W45rLKAhdx_2W+$7vH{p zL(}I)QO_$hojjpMdGX(3IxQ~XqKmVSC#R?DH@Ge8!v1dg+oG|%MFi;es2x%XpnS6)|T@oV_j7=DcD zbL+>l+P>|><9soJOX}yxol64uvHxDXW_i^DE}Gqa{NYns*JbrX^H|GYuI}f1*dS2- zP*iu5*)A5mpK0?lC=$%rA4#-em@4-2Ub@3wr-hrQg{#uSO%_*=^Qx|jNxchsJ)cj@ zV%DJ6)l=CYXK_uV!CKEfacfVXI$6Wdsj_v_fOu9D*|`< zHo2|uuYTY6x-b&`Us!Yh=h5!}b+VXTPfOnjCbN3*_x*DF=Qy|D{)QZjum1W#i)ii^ zTqbUHDN50OnYeqJ+?I<2rnY%a;7<3;%PtPR_3i80zL@4$TZ^`Xm=@1vwY>dbR?GG2 z@(W(F&e~g;U;n$jsh7k1To<$3qPji(@$@hA-_KU+1GLBF_QTo#;my~xJs`Llu;0%6 zd7Q6|NFjc%kl7ydE^CDDe|^1u`w9k7%G(5N%)%!*R&&;J(v2NIcFY+VyF8>iPduG^CL(>VyP)2dv|pQ@X3 z5zzU27RHd$n$KzHPE5-#3rSLN*1 zjiuuVy%#aiG8~rXevbp+`_1F_Q}_gamz#ncT3$JB3fmd!XJ>X1f7}4y_>IpRf1XUs z#q**rAHW{%2ai3n!wbT$O?pKiM;a^yBTff$)Q*V;)h$3`;V>_W1QQkfoKiFp-mh`T z9kN&R`lKk5d_x(=z-_bW(JfWV*)U)?QCbXmzZ&k1Y*)LdB}rsZ$K@_6E5UAWr(FC`G~`APxF`)%D+c9 z1W82m1kp8EV=~QWntxL?zZ1e}8|vs5?$`-=1Y;Zr2GJ$f5h32u_i4P`&?olM_W^d7 zp8yw2r|?A_R9`ftHAVCV4Mj%wyNaz415uK!r#yP9`Q5Hp-7(xO4sC$>#FfvkVcm7Y z2Fn3E?jBtgaGZs-coa#&v=vrTH~2iCVT!@J~<|1sz ztal!Yw$3`)h$wE8-4>Ve*i!yRcjuurlWNA~Q&WT18J|_$|#v6Q& zH)cmPJEB=1j}UKE5!qe|!z|&+q-?JkZ%`fE3#6$K=fogFld^rh!RN4JX8X+cIqaCj zj=jTqZ|N^VLY}9DRIO(Z|k_MiYY&sX-EB7ig1w2qCp3M8Ff^>p4777q%FHD(T{j zYD;Z&!w-3zqYXIVXLgDy_CWM7RHtZS$C6#YZ`ska?1AZV^IEV{*IHM{zn9 z$CHd*9vtu?4^$$=s~_H@X8TtXch<2(iDIXB%wMZ zxUzWMXrMZbv{KaVbYpf@RQIo6K4pe`9fn(4tl3Ir%MACPyz#?@u7pN$#s$KZTGy0P zD#m9(hBU+4CD~}jFD<-K#M(2FjP}P57Qc2GvgcZOUfIkyLiGSAWxEPI z?aN%-`dzQCFNC#OqWl>Sp6I1Uk}Fto1)@9K{Cx<_o97S+!~-^^4Ym!$+X5#{8pGR7 zu!F@2V@mA5DjqVA~5$~{{QJc zaP4wt)bmEOov!}(hqD012M_|uu@|GNOc8T2pajv^QkfQeLuE1~UQ1<0e-Bw@W|etl zDpN)!7K+#_sZ5y5QmB>4w8e+&y=cs3Vp*1%Z&PNj%s$J^EHhU!QyiVlR8dz0h75j@ zSA?cr4j9sUDKn*{mlPHPxs;h)@x(ea_KV0mGwaMF)0sLdvn;p7Kxc{=>aGj1aKtck z*c@}WBd9oTlqNR(=#^%9SKMTw`BsJIce~f%Nt)^mp^QmZ{~vSkZR`IvXytX~B+_+zA$mhL%3;8J6yxX} z0J_%5M<`z1Clh;!#KCPs4$DJ|W3hyd#n5J=7{YlXmasbsit%&TNUsS$GO78}{WQnf zY~V`;nyj4NE^^m__7ZTst^@0qEe+3I2S)BX;8lA2b>3?f{nIF=1t4pvD>^mc&T2J& zVl8+w#uBE1KW%(YAuhD*s?IT?$5dKiEB&vFMR~G#x^4=RbEQH0N`o~67I<4A=SqWj zR7*wU6cSKyZfrv}Wn+kRe8K~TsHJwbRA8T0AyPuLt)(J(2;rtDyociP5&k2y+$*r$ z%4#)Q5G8$MlM~|v~-^p(d5{3IDUEl{P#~eh2xE; zaIEZ}Q!H~1N6z7JIUJzUjx1T2%E+A$zDvB+Z4VS}kU?95H;R|qk`bD`=|RL-kOgKI zm`5fsRpgEbS}p}9$1-`#1AAr+c#2vR+wp*F;aEk2tslF-{QTP#0J6Y*vpo;K+r1H4 zU}k~26qxcYBngM8Uq{RTBS^or1Kx=%jFg=5M8v*IPE z|Gk;?zm;JNZ{Q%O|Gn$tK4Nc-{pGX9#Of;yt z$sKo1kHIJfmg!Q7Vh+A-E|HBW?K$^yv{WK{;=npC;W?FPoKzxkGsY{w3lIX0=6%Dr z_0oSl9U)j$=NbX3BLrKk+Z@qD6Xq619ei6tu*p!#PUR+aeJT>2IpBR%<%YC$yoBRr zBVGw|F_lUHNV;qRXt=s`$vsRpvs3e--(^r&cNx6j(Ns&X6tjVW!(DN`S6=r#jeXqt z8_}A1%o_8=)@&UvqLm{HHQc9cN1OM1fG%%4aR3{-mqp7QM1Vx zwM2*RRdk_e%^Fmo=OzTGc#~a?by9=gH~#ScsxMC`oAe-)mJv4rfi0VGEf)#h5Q>+m zt_QJYKcbvTQ<2o9_l@5>11N7ER2!O2I-*IdXeP~&7NTJ(iFGQIX0|$yG~B3M)w0%Z z57Mxq>a?3h?;CzN%X+s~C)@KNd)6`SSuNc$K@-}uW=yO$THv!WzI~Pi_8c63!2GrL z?YI0fO}g9u%l;jhp&R!@56lb%Wut8D+k_;0))u^KGyZXz7EL)YWz`So8lasD8qi=P z6o4IRsDZ$1r=0m7h@Jp!w>_x z)Y`w0Sf-fkQb;%3!Rv8J?nXAV-w;NQsiDoc`*Ql2+u6KAJDZiwN)n?8IJdKj+|Fiy z-ua=NbI>s1obzD5dD|n&yXh&u%6e(Zu^ti56qZ)e$o2I;v^=yT*MOJ8xM+af2?LUH z@WCnkxh|x-;QB?>7$fxRrw;0=Gu95rbTm#Ipe^EGYbL3OZjJh6Pb<;W6(}Tl_RF0E;gub! z(`9b#$eggq*>_v7z&RvuKvIO{O+egqB*Z`zmb1Zx_#(V*9=D`p5+b;V%4p{n8mVnq zh)^4*VMt*u`mR}lP;2XPdN0)sbC=Fbdp_58WHlI7?Q&CZG<7u50dMuHsH*w5@RS;Q z=c{QsyW2k+wlx?&6!PHv>xtNlH@4j(8Jjo$r@Hac1|Lit1aWHfdA4Ir@o9q~W{5-L zT1wY0lwdcJjSy;V+6awv&pJN9Wx9E)zLr&rdG6~2Sl8BDPU^)_3x04iZ9Uw`e&kZsJOLj>O(i}cpWXa6fbQBt==Td{D zv2=tHF?4)BvYXe`CJzzL6qkKDA}u3%cZtJ0#F^~g7TIm{RX4KRVoKVV><;Yj|2&zN z&1o<|fcArr0cDJhKPHfJ4i2Z|@9+bdRL!P7QR0#*#6X5vr-=|H#^2p zDIUU<>60=3I{)po`Mwr8B_n-G#&@eVSmb<+HnLT%-r z2H*A)J{x68kHTb8M@4e~`sGt5x7Q)J#$H+GwjO zE#3Y!qn4b3OSG-;vq`(hrA?m}WpxT)(#bDHJ*kWAjK88@T^X^;iuL_^L%k3cyHFn!WMNZf)3YX|J5-VB@=W$p2Q>-{#e?K!2a> zc~#u`9CAS;ZG{VgL3P2Onv)dUE`o{%PZ;91!$s3dN-LUXJ3P*S+xp~62_g(~VFp-bAre)Hx=1fwi%zu zEPGV$URUNDTz1A7qLzhhuRJwom9ack-UNl}*wr=*mZwkU$zwmmj$ zldyEvXq)2ujo6JcYz#9@Y9h2SxezTEq9rawQ=JOYWTZm0jyxwLv_W&d zwOzvuLdR{U)Fe?TM5WM{=d={!+#P;GgkDBGgc}A{r@S=P<~FF*^hh0otqSERPB0mljtG#~w`e?Ks$)s{*6+ zTqqIY#+^|}DbtDj17Mn|DpS?iRJA3nSQk|m{=1{noE}Vb%TuYWSiz$@pTHnY8%H)u zsY`ce5aU*p5ju7wl;9}6M8}mq5}J?S1jPtx1eTmjZX_d;XO_z>mzd>b7nWnM!*V7< zA74hA6PBf6YE0LYBWkd=NK7$h8$L48T!}Ql=;pXUTsm9iGAm^ks3R6i8 z2gW0P`*-FBbnmVK9Uah<$-GJ=OyW3g#dV5^KOn(;b4YG$(jJ(B-EqJM{v4l={NwcI zbaQI?NFuqBt2vVNvX!quLyR*{q%kJ*QRX9GXkHHBBOIHL0*MlG@ChZ1AmZx9K)sBb zC;_s=DAn|dS(ZCeL%9W(y^&KUOWaIue!BSU{I?5)P(JKn^hAl3T{4!BI(Vg{4kED> zjS#C+(vk&1y7z8byI7U6K`B>1OWg@|%rr-C2yz4*_4)6gPJVkTtLIEmV-wVxNlNnG zQn~(k6vZOsI2fbc0RU8tebgHT!?R%=&{6i714SLK!N;JZnr|l4RH8$pR%VGwCaL2f zDgSYla`<5^5>f5WP94|P0~n#2whlm08o9U=v4zj09z{8LbZrizB-=^jYSe=$)n){V z^W!*(a*4N183!wi^I?}gw2O$4@g#*3=Nc(Iu6L!7kq(Fnn+L!+d@x{jN1$7p-d0($ zjP6*ij8SC2>e&6N;kn}qm{mDHn{Y91iHv1%ryoqCTdeI{U~Y~kK;5uZj!`G^tyZQ< kGf%w{o@zc%i|4ZXc+z};f9|T{;p55w11^&3Y6VCE0Q^MI>i_@% literal 0 HcmV?d00001 diff --git a/matita/help/C/figures/database.png b/matita/help/C/figures/database.png new file mode 100644 index 0000000000000000000000000000000000000000..7e9b1ca78cb82e22bdda362875df303fb3ef0d2a GIT binary patch literal 15256 zcmb7r1yqz>+wKs;AR#G8Nh3%}cMC{&m!vR&lyrlHv~;614Ba3NA|>4&f|4TLXY;<_ z_x|61&cD_(6& zB51)cBq#A#>QE?jepP7&0-=Dsk`z;SOW(`zwkMc&zZ-Te&wcK2f+%JD#9wm7(Enww z7(p%0Ej9T%|EG}{j}MqwxaXLMxF!^oWm}dJoT6Wq12Hl=@x&_m#bl~F@XG6f2rmS@4H3@t4!tY3bMd)&9n zaMsqD`FT0$6Cxt*dOHIPi_JonoF%t)%)~!RzL(?6*F(#>`T3V#txvC4P2M2M6EY9^Cot&QvlmFer)KIJ>&?$Q_m6U6zj*C@IOy4-O42R$D6Z z%9-s`UNH=bqk*vHm|ytz+y{yFAn#YyYRg`xHD*W*<0%gCuGrYaQx9H zovpDN?|tgKFgogR@#n{|$X$9~x`^+s9BYg7(dH0q>p2xG>)XYqcQ{oy!*|!ir>Cc@ ztE;7Y^>wwiwe|JBhdqRSeSK}`J*?URV`F0}}$ zR-`;Ix_p!yr+f49s+&z8<_*h}^3=zjSNW-OX&FhBy_5R>JmPCtfBdi#WnWzIy&(DU z$_m9iIT4ZZR$K2nSPL;^j(;}#q{-dQHonEmCnJkxulDFJoO-m7NB6EDR?K_3;O8CZ zL<^^avGqP%Jj*!n+WHnty~>0}KQ)#i3zK+U%%mb+6Iy$0DKn5~C2m(@)nreG!)}>? zS=c&YcJ=RhY>x4m0wZTOpOKOANbolVbNxKxsYq*C+5Yzofv&DDBkvOpnZMTQKp z;I^`S$-hT{3Cod=UIJ6H%5><_;(D-TF3@)UXCUT1V`-#vVT~l&s2p5Ems|rb!JUzs z-j(pV3SrVUh3PH^N#6WZs18!np9wXkN}1!KG#;?TvxIMs$Ae<3s;aWCH|XzYGef|2 zs?1&T$h>jKQJdWx^R`vurB=gW6D%YlJ`zUN&}wQqxBUWPxuIgIu- z+n-!nG3J$fh>m`@`toKPbbM|DGLg8hxjibY|n`W@gSVE?<+X`%xw; z2POy~4ih(^I}Dy39}9w@Q1n+D7QV7kQhJnE)7ExZAae8T=V*>}Byp{2FIM88mb0a+ z@2;)uhi-I==?$=Hme1d-$%%>Qn%=<_6&1zBJCA>j?`&_++#;c3ZT$G*-m-LkeZAfr z9a5d!(&GI!;)!874?X>sR@xvmGtOGp++;v?YL}+{-1bhEFzDPwXyQ>DS3@a6|rH@xGKKjM!a>YzKxpkDw&SXxWN|L@NBhkTLh1_cza!=SjckS2Qb6_UY+lcUa1=!>FIj^F zF_t*@5iQt6$f1D7(J5^2?$QK#oi#7-?e1c@hq6BxY(aKd&+G`)+EeJd$mF6l`<~8s z@a0HRLZWM-(JAlhftZY<;u6@$B=(*4F>gb%kLl&C-d}*;u!b)|$jZyh3!ot7wWpw` zm-hGu0@n5UdbClqi^8C6Bc+^`yoO(npCzVqFG1!>JcAmT^Khb>rnOJZiG zu=nLL2nUkF`rfh-2phDu{EkrwW<`8x>FD^UFOL4|>dJB`^(BLXy!`d?xKedhRX6e) zxsI#^3^^S^5SA@a_8Tsts;SBCdAggLN_^@Bf@K`NQljDmoU?BrA^BbW_P%kAzC%3k z6r#qVHZ$|C&n*AGSx`oL@9aAP{JH6ik%3pm+r41U_I4bB-0Sqj{p9 z0K-N>XeU@1i1~t4iPFw2THc6ag6S9TXLy7T(wZwm%O*ZZa%D&!L)0K$EkKV`1;9Kt z;Q!<@GR_2VP^7b%-g2>u!o_S>7B*v{1}Iypgy1`MJ7%%`&_v<>n(F*>BhHW-kQr5Y zJ&u1iIIMq-ByruHc~MsYhchuVmwx)>e`ChDFgM5lx-$susHcK%F?$C;e?DVm{NvGL z^ZFrT3yLU`SMO6C5iWmG3S|wAmrxy$X5OO{B8$DTwx$Y#8@1hDUmR`B8@m1OKwb9O zDUFDTpwII9^XJDvP)uiMr)8FR-Ip(d3=Cln@ap4YI9lXpvCk@T>lNDiAo3T(xA&WR z;^6EN1_m@>WO`bfK|x9BU~i9h`7~g9hc*b~(W7u*JY3w?%k7f*c>KiZ5`J_OOlQ>B z*x2u1#nIK))Nu0fY;A5<2{D7`DJ@-7l42tg^g93D-VRZ-7MJny@p<>|osrSgtCW}+ z`va4uAV0F4&5(@zV0q9A`Hnc^Q2>B;g zCxtc6uK(l^ML~A9F-WnRdaEpnOgdGr2ZnVmmcyB}a*5dD$YL{9=IHZ{?nf35g+xLY zHoSBh50?owIwT9)2dj2%kdy-rg$UTQK-&HI@nik6PZ~B@rY_qPMH3V1V%T&FsS~ra zub>zEu5I(Pvwc_*)?rd=@85RmJ8VJJ1Ez-%D$v)(!kei;-qH#Y}9 zT<81u9>vOY-d|{xul0{xnOCcBv@C5_LmEycT-#wN(w06AXUOBQ7$g$%aE8H3+;#!D zkdu>pAjWIIBC4o}B?t@gPv(M5QF~J0Xk7W+>==QGI6Xcl<#(1@;4|-!55uG1+}My$ z=N)|};s5UUUQtIi%BiHeQr}00mWh}P{brZa+}w?cBDKZEMJ2(*?qA~ty%A4x1|MeD zcKKPBA_3?#U2gQ&)|LQy735O@xV%>UQD@pTOLY^{)Ae<9`g|A(M~tBX6ngeunw*@R zxp{fa22JXGy`s=swonQvYzmHp{2C0`E?G)PM~5-no7f9(+FaRUl@^T>%@(kxKo=dx zU|pO%*D8z9#on~xMQEY7OZ$*=D*X%wM&|DD>0PC9M?jL1Ph&;JZ;<3KciL`YE;6R3 zrkxeZ&qG26GnIAW$n<*AbVd<%Pf z`(I;uyBeuNo~MK9eB-$5%#`{{Jsx8zBkRQB_I?q+5tr*HxzPe`78*u(PWG4E?&6e$ z(U1{+FOqzpV4yr_WJDGtA}6=-!4%M}^9w#U)TmpLQYSGvNvPpeS5;L7fHQAm>qw<< zh%3*zI}}H~@_rnUkdO?^&jwRCz#>I`L~d3hcJotOVLo~DbCXHNzzMzZgZe2_zdRgGUj>_j|_df2>ZyFyrNQW2(PjA;t7^F5WF#sNn($pC;dKs`UKER z>&@vr85tSqGgW>A;RT)XPm+ks05&M=3Z|53=!ThE(H!I9g;!5c55U=W%GQWOh*F4^ zbq`MY`pkNL=DQ6B~dywcB80qn(-suJk;F zz(D~2Or2m;Vv8nbR`NYlNWi=wAJ?a6>%1z#9LsMM#AMyp6cIBKLIFpLwVSi$yW6w2 z;W~g`1=#M}@A>6hZha5)4SI3!yc8tkXV@@o5|@}=Fub2XQq8@2Kumi27tb@h!)L!dCB}rRx~m2e*dBLT*r)lYoa!yA1kJ#! znK+BGv$Knfi|gyPY9t%uMi&?N&aUpRw?wMV0Psxbf@!{b)mM<^!^m|DGB?;9V+-PT z-*DwPl0In-B#(3whgYnAi$G#gR2@W72|p!&H-lK9j@!fCXy|*r{?y2A^?hz`ZlQpl zo}ML$FCf02#+9B6nsh@QdbXwwJxf8?B_(o0kpWDVOir%i47GaNOv27jy2jr7-N*E7 zH0z$gUVzTFx3^ncTMGpeUi@fkYMPtVJ>06Zofp3T-KAEb7)GxRK;6mCbY4iPr&$ih~lC0w5$IK0XZ{-R6%Ul_c9Bz>3_SuM20r1&IPwhk3! z2DR8V2-}2=L*y19SBFP@H zV-bD&B&gM6=xivJmM6{K-F;Z-Y=JsjP*quZwB8{Zjh6k+YrF_yd=Z^@83a(x0d4HK)p9Z z=-34+Nm3 zF{m`@$yZ3DBKhi>R??ArLnw=14N+57wYIhfd*IFaaNqMIoaK6&An=TJ_4Sr! zW);2+BDx2<@^28xf`eFGwBOSP!t3g|i7-4`mWvJDFh^Y->`X=y1Vj-&L~CW$IVnGJdBbKZ{hXyJ=HhaVO_?7x?QB8 zeA81^{nLT^G}IGW?6*ft{8%r!C%mc21K^T1+(1f(=g-rGJY5tN6dI5d5)!~Pz{|_0 zXPu2Pyp(2Fo%?Z&EatoC3N2=~^+LI=IJ0r_F6BINwBJ4AMGmF5=Y|GCT07*$R&ZBz zkXrpEF!d1yVd&YU!ln@jCr3g;!jK2hd&3TmC__}W7gxi!2zNQ7Xeylr%$ zN-MT`Vy^b=NaYAIa}1-GlUVL|Cpzmc$m;cNH+yrnu)JSrlptVCml?>m$zH_e#cwW5 zOmO}^zvMz5>Vp*k;DS+UZ8fyk1K7*O(S#tW@5qjV#R1>SXeTW2gaXNNF#*)zP%mrv>3M?~`XbA!&uB_+`hiMjaV z{Yg7KUgCNst{K!^hUQLyk>cj&)&M}#sPxkWa`LKmiYXN~+xUse$%~uYsw(!%ZiO^% zu$TezsucPgUQ=FWzHb45!!qHJILyY<*0yx{!1wZ3!R)|0^-=saRE!=>b7I#ITzSVu z1(~`vZ(=!H9K{~#1h1-o0GrUIoca_>8MOCGR`%m2MRVKV^oNF~n0_3M{>$@iVq)uG znf4mzljS}qT~BX+e+nVzcl({qnfLdt`NntauC1)Bfc}q;j%E>+bgQZ!a=EmgEqM;Y zs;4lnuy=}{-^Mflq+E&$Me7!-ilNuFVveo0nT2b+PEo_=!K)}h#2?Uxvd9+H+@SC2wos;`a2B7V9W`aiHllMMt zZFO~1x*Rqy7fhJ1{F*M6O2bL{9BDZ2Tb$5r{_F(?* zW2e?Mo0&xjyffedI(VV04#dhESKl+&{&>~Os0I8vy|4oUj0Qu0f5LTJlLCc7^kT1kda=B!^m<_a~SUbv!l%qhukfeu!qw7;GVW^zytfO+Yn?xyxQ}A8Q?^EjScbRaF{`4{|y&&-ep_MSS3XO z|0nxv2R{4ByT%oag|mjL;vnV5PlFA6?l8|G<*QO2SXvZ&Ehh zcG-jzkjgsTAKpU2aAN25&s%l1HM@Z|S0lI9qJwj?Y*Mw^S`>Q3cay|=lMVPfPw&_L}+7J+Xh&j<<4#cW%u-qDXe!%I~`{|&cA zK&f=WNL`|D(d*^XpslhGsr^b6bPYBG zDhmp0H8r(?{{DD^_&l1R_{2m|B~49FS0nGnfcgpWy(&3UEm!-^Hol&oR}oJ*1j(c2 z-Tsbl$wZP&w;uC;+DbGl;?A+V=MNJY8y+JuiCKt5YbdWBx}l(==6QlBH8yeI@S(`h z@;Z!TZq%o=50<(!QCNt+Z8OEv z(BoGgm=gfcExUp-gJS-Z1;G^uHJP5SuCAV5LT|q+uDG`BAw4w_2Dz}8o3XJU0~aNY zh)5ei)Zo^zKmJXK)cGE+_0TJ2$}1>nz*=M-57(7t|^lC?50$XGsj^rSlR@5#Nq@zEK)><+^N znRo8b-&lP2Lxac3_Qr-8Rik%`kY}Cj`h|-iwZM1#5;2*z)>$o)&uph|^i$+t{s~bI zbbQ7%gy<*dwd|Zg9t36e-z$h>QDUe;lrs?JB?gexZfa z`bHDfBzL!0_uzP$-eHLKar8U-%BT;SndE^?I1X@2Oi}eUmrCZ`oSdA(!f!h#>}j*h zF#>3m00sN5h0#MPug(s9!Oj3wAv-%eC_SX0eE*F>6PJ;YkkHkg16U)WS1LFsf1Rv# z@dMNj=YSlK?MVWX)Uug_vbOd)*g0U(=xJ%g9`w1e--1fZ(%gKp!NC-aond)>dAZW1 zp%evnVR13w(hQnUfdm3@KG-u9L4#>L(W;C>+|~+VIhI$msI3H;fccV)+}CEA8hh1j zB36|VK`kAnuAxz>^QQ7UYa%(xlh9f#3Jk<{o=_E>63nn5=P|pDjInGd_))k4c|{!q zW5M}s9Q5?akjt17M-ek&y}x0VKBMOOV|>T0jlQ_yOre3O5AS>`kF}{%YD?j%NM=EV z=TQXRWGI!5XUNX!qTTvcReM~;O>g20hDIx!!{8c2*C)*(+;AGE%m(kDUz6qK=X`_4)K z*ZXXo;*w z!tQ^}@+l@KCwHbw@dyjFRCRP3?N>W5FFj7xu#wBB(Oq8&EiV*`m;1l|?OnZ@$p#$> z7=4YcgIKrv5h0i@)T+H2MO2AGubl$S+0Td)@tFqR6coTpOJtX&gkrXEqXK4HYL$_Y zga{M7iqye`lTEmPqZ)ycmaa&7@NCb9q%zXI`|H^{{?iPERDbQer-@lIIO@aS>u^Yt zrFWf&pkYLvbrO0AIL+v4&xE%k=c+qln>CCplY6up;9wj_YQo+qW0 z!r+mKep$&(eZK_qugm-MvE%-u$HG3o08EtXxx(SR6dXYx%k8=_4h~Mnw6@fq^sNqX?1T;0YKm<6@cFdQ{Kby)i(5n@uSFw_Q~{$2zzbE!gRpMRDIIKlnJW*a^0*9`${b!?gu*asn* zW)KL8UF_TivZJ97UaEXa%+1DE92uU}xGz@x2^J7nB$Zd&{xzT1^Ru;^^1r0|Iq zg zLk4?H01@mukAoZovMzJVqiIC&QW{m})(9*ICr!7wxRSeBKK9)K7uc6|!HqMg6R?n; zsf0MJ8qzWWpdRgFk@M*WEb8j9OkFAt)a%*$i_NUsVp%@o4yq7?4(s+}3mBOWIQE1I zzF3f#i;>3hsGb*;vl+q8-l-5w&td-;Gnn zxRk&fe)>-a2SH@Xo-TiJhiexT@{)6qvpH@U!FuTuY8&zAK7}=WwX;KDLx|H{bef#0 zs;e5)=!REOvMXDAI}E4%a2(X5ntbnJ>*Kw5pe#}Ju0yB*7yHG#%vuF;WDKX^W?K4$ zp<%P5q3XVvaddN}xvd(+udm_SA%e_%Y!&hx?W9`Mn^;_{9pX_j+&M$6gQC(H_&d;W zbP}z?MK+Hz0z#@cAp;z)-5#luGSOdMQ7Xe~QxSqi}bS~hQU(9``HE2FG# zL>CE3oFPp+T&(O0Hg9uD+Q+EAQ+&|w9qlzSiFm}ozs*I6Iq*JqAE8{B-|wf|+1kDV z2Ktk^B+B|bQfrj>x!|7-4}~j&ewvWE9++r9i*0#MiudIi1z{4ND`LxL>dzOjqK0nb z>aP{hSMZ}D_gJfd-mp5SWm~-SLVE<(+HTnbrwK50a;9=HD@G67#w3d88zBp=^)D2BLd7fGlxj+` zD&NzG;b$lckEFG$UF$K3G^Up(B!TQkyUXPwN_X}UJb<7YM{0L%;fg^JAlWDbf-t$M zP1L49MdWr;CagfwDxBXBAcY;5$z1zqjVOz#etg=jQ!Kq7lerdLAfXJ)vXh5De4h6Z zE2e1tocS~2-OjZ(aMl!U_Cl#ekq6eTtDk`BQ7UY~4DAHOKj7}#;>YuB-+Uf`K%FWx zGy#`^L}r^U;5zAnkAyMe{E&&kHqxvjbvE?*xD;*^%`PS%B&cti$yhyB8Q(B!BJr)v z%Eo5*=TE?%*nk2^Ep_E@uA9jm)F+@B8fN~XPtd0WB+~r+JO?}b%zs5XV zej+Za=oD%1lnFkS*c_Rh>$7*x{N;NnW-#qIn@Ql2`JLf z%UfH8Wvzfc>FwL{-2&}G_AJ1$@9*2m77cHWFL}tGb^jqBjoOFN20O34Ie%#iZlv1n z&_rAYgf$0;7Xz#B2@UV*L1_kC7;L`LiC&|=ER*azjzIeWyIGyv;==8a89R=q>qlEQ z0CZh|)8+Q|R;Svc@?KI6iUH(uj7Y*0c1K4?ZP~qi_IRxy-x~Se(iFn0ICVCp&coZz z!@*<%^_U~i!e*wz|3NtxDQ|_-mZB|PGkR3O%Q|crPfoZXz+OX{LY^Q!u4RG>1W;sQ zhYGX9_Uh{DO!^J>OJCd#%PEm0hP;EL8lOnY?>P0C<)(JG-JX=+vnLA;4nIdewcX6O znF|!ir?3N(4To9^NQ)}o4lE(mDHf8^GTpAx*sIUT2p_x?CF%}xH04_Vz1jsR+dqKX zJ>imYh4arIV+MA|cL7pHR#sLqgMV^y@unM3DP7pxV=(!}Y7@z8Y_8CpZ?_7cPOA+a z(upcHg~ijqcg&Rb2T+{f+%8{l@@SIal9jLoZ4xq80XkdD$eZi=eS`fiA>vz}2L&a) zfxow(;B6Ax3I8N>^T8fSnSY+ZZ7bage@5*;B8nX7z;{;-jqQ0Rae=uHk7l>Ao{~X=ue2`%Oqrlam=E1S4TO83-f< z&o#|Jv#@Br*i54%di><-L#^D({vRwqBxR>1+l7WhP`F=h#3`{DesMe5*1&^*2-rPw zl6x4L2G#kcExV9Bo?O?ny~%@|a584-jYq6ZNS!e^8b5Zp-fPt4{Hm#-sL1LsvN;N< z70>c&z)}QkBpg1NF16yhk9BbLRa`Of#~V8)>HO^n`TKp26yM1pf7La^>xZG9fQZ!4 zAfPk@TOQcbz6}h_SDK%KaB~>n0+t%EC>H9RbgI z;B(dtWSel$|7H^S+5B5aeV4p?^9^bDL-HX6W6Mk+93+9F_}<#Ezc5?z8i~?uEcX>y zyFkvfQK$jy7qAOJ#dq4RY}Uq;-r-uXh78i=*nE}ErSLhnfFG6?a2%uo%&3PZ6oLV4p-iZqVFKoFJX4)mBoE;ZC3e`# z))4uwC;X4iCxx!kV@@lPA?<`xB_Vv<_<@$pS13EFTrgZbydJZ$^4c<;YANg>0F|&F zJ;DFw%bcsodSap;G;|gy=SQ^9T08jJ z*xH3}bFX!uUrhr(8wfO54N>nU5XQwbXVC-NwHE<{in)^#Zv=?fD{ z4*uFF>P~I!11yCQ05}s3pnN}sl^!pZw}5RA8Y!q&*P}(I&eo_oSoIOf%^;f<=r>WN|pB|O*4&&}NheEDpZIp9so+iv-D)l#cH z*TZ}xI!$TJ&A3-zk$Nv?IsW*-$34?1K}{kB{ckxU?glnjV+Ga}h^dW@js0H0kO!pc zo;pxf{FO7}I3qd5f=t(oR2HPAdj27JdCEeeH=ispQUt$u5?Ic!mPs}jk!o<$oD#w~ z!t1KFrGv5A1qGSrjqm;dLOVLdy?g8i%(uLp9QE?jQ#DyI23MeJ^YqjqHV=UIel>Mk zke>60n!YEj+%*niUCJ~e8*eOMNanWHH8ouaKF7a&F?(}d_t^vng9*Ibj!$L>jFEs#gwP;* z3Poq-;l%TO>OF{bCfGP+9F^EdJx%`>k&|xH+07p|pI{*)9?#ET0EQ?c0z+rih8i0x z^WdeC&9kXWml((OzeynY9FPg);^NRKfmnHV;RURKCjCuK{B6suWtOG#*sC+VBX=pa zDZ?FkaT;dtt=)rR$jQi`-wJEKzO{)73JNN3y=0`NeSZ^QI>zulNh1^8rfb7o(BDDQ zeKDPS7mkRMv3jU6`yDfn1`BpkY^)9>o05`}fq{Xzj~~C)mpFsHR;|JRs>bROA0Ho> zOS%~=zNjo|qBLz7A0~#-d$(Q6D9-oPY8kyEH{&9poVEdRYu7Njbgb{RgzwAe&nBy# z??F*zT3&%8eU`7b(?cZ2o8kEF5tc9yQ@7AjX!wT@x4<1DmtM){dwUJ+b0E+;fgedK zrB&|7%({Rdya8s*Fe5>S?KjTWEw_*Qx8l2E+-1+6-Q{iCQ$uw=%$!$c06QG;Jf57K zjAi_-4XM9);dcW-(g85_&W(+I1X0U+q7Zn4wFH&b z;E!6aiP|&NiWx~xb&h^qndfCTJO;ZwmT!uJu-DG6z(fNU{F%+<+}Fb)?Jc|hPfWwf zw*+d$kwMR?(gUi|4FLvnZgYDbr+`5b1PIk@KwK4k7+};G#8Wm@_(yeJD-ri99Aw_8 z&5})}>Z}zpgpJ zDP7LI`IkwXCq8nr6nbghv~^lhIs|TD+TNw zun1^qXufqyN)cK=*Vi&C!5j%X>Tas30hYD!4$ay3z;afaoh{1$GE7z1z~Ck>>sr!9 zC+}fpqJhG%dc&jL+3NK|@rA-cWvfy+1C{=j`4AC1LdiMczT)@t!*A$*hB{(mYlS84 zpLv~z9E3eoNs@^a#OoSyC*FjozIi5<+^=#XVUk6wy6%aC@mmfe?-;m4U+RHUKPsQHI z)l{eJ%{n&hmrtODK#VdynzUTN6YF9PlTt0Cd1<)+yuBQeB+VZNnm2U%!Y_W5=LLM# zpp23?$pcmw0LrZcZF2shbP|2;JzQnJe~HC)H8nETxHLPV4D@o)RYGhtJhl~`u8$0awFbV#B?W$1yS%3UT^Qf522k68`90F(xM2T&#AG623y zOG}%Y<|Jo>?Oj`|aV_&9`4(gmkd=IXBxp%Rkv1B4Aew95E3xH9^snjUo~<*tJB|>t zFFc=$&_?YBkPQ9dLjWL-{`|3q!QKtdzWJAZ@IK1$9+?q*@xD3*iFp6$0w~r_SEsfw zp07t7|4Z(Vz^($77jO}R6(K6Gtff^C2ti=QFu(kdBuw-v(W2Jt;@&fh9-wSs&|H_W&#wHT+*QHC+P>7exrkZG;AmpkEvtN>^7S~oh> zRD4xLbLIUDh~50v0I9wDv5)b5!D$#MPiug7daem~yS>=b&@HSqS~CX5I6%={TwH*w zr8ZbUkNGSOGbIpxqGYjZ; z0T)1}-^y@ZvU>9-S-_R$FTa2PEBva5++19?GZmDyv_G~)?k>Q|3V4+uqj1*2N=M*5 zLY!1?XJ}Xq3!2nISCFhQQkV?wEQs<@x3shb_IB`{%s4q9O~DHZCr%`u(%*M#x^dm*>lpW>b=O zxJv9io8tT$dln*c{Th@U>W2z(_9msb;WS^v{!8UPKLYGs)hm1|cmOClTf8pV^N#P& zpX9!ZQ`d!7ZnmT{j;g>7#!PfYi8k)C8P_Q9eMPK>UuLGK0S0dT^odej#?FoC@_-44+H zPuv8-0S&^e#g}9v#8*Av3v05@tc$x5h&yqLH3i02Qz`iB-wiT%KF}Ge)lHEaATVS- z5H%HkK_<+}SpyhsU~_HG$)WDdY4p9S_w@vl7jV+0rKA*%qAYnoO91MHLIQLyF?Q6g zVV>=s760NDib?6=ZvYV1*4BV{e*ofrbaQvI&5A(}#guAIcrA(UE7mV`Nzysqgt10$ z@QL50&@y)57im)Cm0Lm&olsypskT#4w9M(Q*WPX65bk3Y%^6V`7Mw|B(T; z=J)DgL!=e*6=hiWE@}k3&H0znKRY3%x=4`7nLXq!!s;IWT>QBL0b7$`Df<=#?hfIC zIwUp?IQ3u)*Eoh{pcB#zg8cV!vQm>$Da*z2*WZt*e@8tDMcT@Mx=<)qKIYQ>F|WUk zhotAvg5==$+7$Uk_&d_F#N?S^yVQLgq9A7~(~>1rev_{1`Pbd+I=zceUD8S{zcbQ8 zcnP>SaWc6>+%|Q3nH%ac=M7!x~qOgZ$z6?SyvEbW{7OYJqx^Hy$Op%Hg; zu6eaTLzgI#-<4VLLZp`er8shsnEh@$Gecl7xLleaqgg134L^c5;CD?P?=?vTU18V& zYT0>c-)u2v9vxIkFR}*~m<+jw;n}+!nOw7tK&RI1hf_O_b&c8}hElxg8|Kwb4LZ5$ z6KP*esfXuAs>Q$PO}|jWScCHBIOwyCLzU(ql7w-E-7q-8DX}61;~Wa~w*7PkvLAl$ zih7MLuFhhYwGpc~c6pa+> zRM3UHJ;uB4j>x_YRe=W9^pHKlo%63vqqkf}mf1tG+;pznj}fA_sf0<_dW=PFe&{?8 zQIt>e9voheO`c+|VE!`rJ1#hP?=5r8Yk^^1S@=5I(NRP2a{i|Hc|$|GA9O|+o>!PP zS>PaP5=%TFM)>o64ee;=m##={)7B8rmddF3;6EX?IZsZeN5d98qeSd$5#Q3$+3vm$~z2e>Ajmc!Rb_`8d zE&oKfN!@~nQIDDKKYyvt|Bbo4cAj`ycMTu*%Qq+SQzaClzNWrcksvDPU>!J*NAJsk z(tz13m=gb_d;!7|lr~EN>6YYOtxF3XFmXjzQWhlweuoR0TGrgqfeC%r(g^!nziAA0 zL~!1THdk48Iz{CuS9i#zq2vK%d-T#zy{@??~um9t)-M`L1K1c``=fedQc(gd6Vjg1$UB3DnY-a0rO0;aH34xF%AQCxE$ zPHQ1kWFUKCf-LZ*uFeJ6mVkl}&^$QXKz)B)pt>!90s{lXtwlQs8B*XsJv2l^KFkkX zc0lW`tW;S5+}Ij8+yQ#v=HUT#cUQzgo0x>8y1E)L0sxVvXJp)H`JQNjT7xD?@O&lkZOe(K zl+;(?8h5|=V?G%ddE07%0}KEIKo zdnKT+{yAXtF)mIiQ*d^9Sp+u4l*rD?S`Hio*zB(RfTQ^LcZ6Laa03!@}^-@u?Ox!r&e*x9(p}7D6 literal 0 HcmV?d00001 diff --git a/matita/help/C/sec_install.xml b/matita/help/C/sec_install.xml index 44e46b7fc..a7490503a 100644 --- a/matita/help/C/sec_install.xml +++ b/matita/help/C/sec_install.xml @@ -371,6 +371,14 @@ The file matita.conf.xml... &TODO; +
Configuring the Databases + + + + + How to configure the databases. + +
-- 2.39.2