From 8dee359e5ab8cecf2071ce57106af7fa47bebb38 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 6 Jul 2016 10:42:53 +0200 Subject: [PATCH] ajax: get rid of the logos * python/ajax/logos/lip6sys64.png, python/ajax/logos/lrde64.png: Delete. * python/ajax/css/trans.css, python/ajax/trans.html, python/ajax/Makefile.am: Adjust. --- python/ajax/Makefile.am | 8 ++++---- python/ajax/css/trans.css | 12 ------------ python/ajax/logos/lip6sys64.png | Bin 4421 -> 0 bytes python/ajax/logos/lrde64.png | Bin 5532 -> 0 bytes python/ajax/trans.html | 4 ---- 5 files changed, 4 insertions(+), 20 deletions(-) delete mode 100644 python/ajax/logos/lip6sys64.png delete mode 100644 python/ajax/logos/lrde64.png diff --git a/python/ajax/Makefile.am b/python/ajax/Makefile.am index 7ae3f1447..c02413bb7 100644 --- a/python/ajax/Makefile.am +++ b/python/ajax/Makefile.am @@ -1,6 +1,6 @@ ## -*- coding: utf-8 -*- -## Copyright (C) 2011, 2012, 2015 Laboratoire de Recherche -## et Développement de l'Epita (LRDE). +## Copyright (C) 2011, 2012, 2015, 2016 Laboratoire de Recherche et +## Développement de l'Epita (LRDE). ## ## This file is part of Spot, a model checking library. ## @@ -20,8 +20,8 @@ nodist_noinst_SCRIPTS = spotcgi.py EXTRA_DIST = $(srcdir)/spotcgi.in README trans.html css/trans.css \ css/tipTip.css js/jquery.tipTip.minified.js js/jquery.ba-bbq.min.js \ - js/jquery.ba-dotimeout.min.js logos/lip6sys64.png logos/lrde64.png \ - logos/spot64s.png logos/mail.png css/loading.gif protocol.txt + js/jquery.ba-dotimeout.min.js logos/spot64s.png logos/mail.png \ + css/loading.gif protocol.txt CLEANFILES = $(nodist_noinst_SCRIPTS) diff --git a/python/ajax/css/trans.css b/python/ajax/css/trans.css index 8ce44674d..d336a77a1 100644 --- a/python/ajax/css/trans.css +++ b/python/ajax/css/trans.css @@ -36,18 +36,6 @@ div.ltl2tgba { top:10px; z-index:1; } -#lrdelogo { - position:fixed; - left:10px; - bottom:84px; - z-index:1; -} -#lip6logo { - position:fixed; - left:10px; - bottom:10px; - z-index:1; -} #mailicon { position:fixed; left:10px; diff --git a/python/ajax/logos/lip6sys64.png b/python/ajax/logos/lip6sys64.png deleted file mode 100644 index a6e43c2f8e0b80c5c586c005b7ddfa0ad99c4f68..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 4421 zcmeAS@N?(olHy`uVBq!ia0y~yU~phyU@+rgV_;w?7n;w+z`($k|H*Y zfq{Xuz$3Dlfq}sTjNMLV+kphj3LMj6`WYrqQxjld5Xkd%aSX}0cQm>(XKwh^|8uL~ zZ{K^jZd?4GBYsK8Gw0|n+|qa{^QA}>7pq(DO9ipB0hwH~Eewv5O9Xiq86*h?T$D5k zQQ&QLYVXsyyGYDwm(T1iig`kpmPEciQa$f)&i=o(ulIgFUcGJdtxTCmH{5@%IY0k> zQQiLPcRQcYd2jr1{gm1E%P&k~dU@;OuTtHeS6_PWH<%l1erx~pgs1D)-|g6a&$0gP zh0|K~Q>Xp^bRbOR?y_H|6OaE(JiJO--uq~`?7HQroG-uq-JiP6CPT$;@7V>4|Gnk& z<1=f#^}qis(6;+}_TCTw`ky!3f0gHRH2vEVq`uf|ZqKSy7umj^`u2Kx{fE!;wNaW6 z79MvCi@ICPWk3Je?|#0;7A3lmK0d3?+xz8Y_4TE0mW>U!RCl;|-_^WacIWiJ&z;3=dmqgsz)Wxr*`0m`BXmeEYd3id^mn|}Jle^ySTdDoi zyJFt{OA^!j81D04h%C3*s5LEHTqk13M5QBVxS}TCOP#;-wZC?6ekNyt%Zc5B+aJAr zy7`xX&<7RgqfdX{udQGDP}h{v=m7t`SEqPV!rp3Gh&g0AG94@GJ(scV=hN_)r!San z1R38@|L=zBk5j+vBxL03ub=7>D|*r$8UcBH=keEk0Br5pZ* z^sUriXR@z2+3G%@*UFi7Z*JS)zBkd}`+cd4?z@;)hIZwBf7f>9?D_gf)2_)da5`MQ z^{M#GQidPKD*D=t-)mlbYP2p>etGJ7j=!7u6A#w7CLb7Nw?;S8t}Xh^+d~u;9v0_Asx9 zIcKjpO=tS!pcwyc5%bJXzvJx8e!hNhU;AXXx>4(kx$)JH9tkQib4q$72rkg;(qNdx zaFW6Gsx140fRBsY-MHg#ZnOXU_O+g8>;7K{ipAR*78Y{!GM|1^v+4n7;pxLmb06Qh zW7o7Sf^$h$mB0hmAf8mM?>3trAF;1}|JnS}L-n}mBGDEBnV^+g|0L({^?9)Vt<167 z`tRy78>?96{FIpE^XOmh^+(fpn>k<8+4P95>VL({?)iWJ$B-3NiDzGJ!elGxXdGe$G;?d9HjusrdHFSKAmEn3j3Hn|1H;pE~t!K4)9QPHV`3VVL|`i}Cauma95WPDVk;c3rWUSNm7!&5PFuwjF-WP?py7(ECX3hHGoy>aLU* zc(b-?@>2oNit=*%ygL;#b3E^u%{y|u{#)RiSMj_XcJ5s{Md|$HC%Zl|sm<2+DPZfp zcuJ6A!IM`N$tj{!RMvR=K4{}@uJ}Aj;9#;$YHW0rud9pj1g?bBb6d{bG3dOje*42` z@%yducmHNf*fgjBv=h}W``_!24+oyhPx_@Ds z&HkzblQ=bb{M8L?<~rB}9SY5MyC8CxE%vjb>fr|=KYE_^Fm5+<*DpN&iT_vQlfGFG zeGgjZzTGqP_vPN5-+D6FtXX1pj{BQSozCwa@$15}_2brgwsbvi7Ct+_S;TE~;GO+% zt$dy@UeW(_W93~>0nZ%k4UFeyBJ9I6gScKNtKGXP@ob-XfoiDf#h|Qx56^|X5U+4+ z5@Eyc#a zj=lcac$$BqUC!eJ9$fw3;@V2=th^geO4{8D?RN`4({}ubWJjQBC-;>}$)+~>Ca<8vxl{0-PCfoB?wkiL2!W@OY z45hKX1)t2kk}VsI1=0iJ7$iN4y8Ze~YK=E)*{yEwIOgNA^1#hUK8iC91o&SI`xZW4 z@YwsLEMPcTc*|@k~R_X@_0Y zN?}PAt5*|WWwyy}XJGPr$s}dAWP<$3MI~DN%6SX-?dE*^yUjMQ@)gO0He*E*()Ax5x(isDumvh*CSjx}f!0Mnnd!E}K%|>T^+1jl}aX&Uh z7hRvobWY>PTxS;LnCmh}XLU3_o6z=dM`vFLW4AF2cgWN!Q%>;t9qfpnAvdGNIMiv& zUO6u>AKBRrg2o3+`I1-!8oAkCdhay~{IiNHBs#YG?)CZmoRtT`N>HFdqnSr*A6!%|}gE9IJ;SfSaI6+KLYtC*WMe+dst%z1y|&0b0K ziFOuUXC4Lz%yUWHGVQv?fwQ3#=AD!iEisS(nUWcFe(&$&dD{p<3amx6fbmVze-r zG5_vq&bg0QrEu_et0Y*qWZt>>_*rtTzMS<-?MPNW2M*tcC06NHYs4OFryYxE+SBAG z?RM6!PF$sn)9&7$oxD$DGW#SNHf-AYfaw9J#k}$lcQP2)FX`6!E%bO>yXSHC#g;|S z?9R@3UH)tH%xwxx5}f;=#O?gID{l(-w>L3O8L3={@;wJUDT~j_;Y)jIx>| zri~9Lbd1(sNs5Ir(KD+^N~xR?yl{W6?oIXWaC`n z=9wIld#1>pTM-h?+_J8iB`Ear!|tgft7dNa=<9QSk6>g&lY?f@G}{}EEy|)@aSbLv z4J;as5B;cMRP}cfSZJtXko#Mr+@{3U_lJ-GPsOtcHu;x6ZCW!QiCwCkl)dNf$=mu7 zZ#&nYWt-b+MQd@)W)uw4_ zg=}?IOTv@Y)^YFA%}hA;(J-Loprn8xk5uxE4Ym?Jj>a5f=^8s2EtCzEdTz_Taaedy z;D&^`VPu(W`%+cYgE6)_d#;pa-VXk|mwDBRuF$9P_w0F=3RLFZ|8PI0yRXphp9A9t zmdI1n*Qn>+%b9w2zkYg`7-I(aYXgaclev;b`Ts?JVsvvjbt&PK@nkpa30E_M7#T&p z;=Y!%Es*iJ@|wv~zv0}fCpQ~gPD<{Px@e_5W6nWwofWIO|KIF*;olatalV*Z*Ufp+ zW{w4Mo40ar%4t1l?)ISgR*21IE}vU=ZrXZkx$=Gs z5{eGJ>ge0JiQSLoAV;P7foaDKCM|PV_Gt0)bB7+T>HQm=$|D;4WG{o{?RLMGtAVmF zyZF^7biA-Rv7^yA>f?=P%L-10cJM9XzV=l1>yEv=j~(u>NeqE*Y9e#3)MRUPh6;c&wIUOS-HII`9ulxP;t-A|B%zMZyQft+EBiUN8^A9&$NUBrcTY{?w3S3mN*^c zUa+9RBHGbI_}|GcaTlJzSAMSS-~Ga)oD>ZUQ})a#_9|Mi+HQ;Khl14iC7QXeJz?R2 zj|!HB^thf$*Pa=~e7VAh^-~W|b|8y{mGk*oyY6^bv;ALSxK=wS%R2RF^#9q*znjZi zPt_MamA5G}J+1u6l6wjC*39Bv)iGPa!D!F~Lb z!{>(G`nIY%e8YmxigWgFQ!Ohxo?5UsA^V@ST`h9Tc-^+FI#EI}Z8J|~0 zn8}$rb9#r|n-_G?xYqCXu9v6QZ%W=N{mp;chNX&3N(ZK|dexcz`^sc4x3jlbN2PYI zc*SgyzVE`%mcutLW_Z+}<#_p9i-%pv_u|1|ubVp^P986xZ=lo?al#$CRc>LF8 zg$XlX&;C(Sxav>;)6PR*a|9Vh3zyAE2#$H&K0~qWrDE;$!1TRw*Q3m@T(}v+^lbmS z*Va}{w?Chl)>Xbf|Eumn#Uquq?`-__EMkpIc&+O;UXH8(`>WRR=-*F~2Zawq_^FW>x$NYb@IZxE2+7Qf6uEwy#JkZxZZE?o93rkqZ{Nd zUA!|>>XfXXd_YjG07J*bM{N?12Y)<8Q zBP&pM^tM7tqV|K9i5uj$N-6EnzB9ur=ERge-+b3<@4J*fnfqGSi(bJUqW!JTzeJzD z{A8MUu`cbf?`*#mcJ;vP7dKq`p=Za)koHfr$x~n9kzm0XmXSdz+MWMF8ZYhb8rY!G5-X=Q9_WnijpU}$Avko_X71w}({ ceoAIqC2kE;TQ6BKFfcH9y85}Sb4q9e08J8HvH$=8 diff --git a/python/ajax/logos/lrde64.png b/python/ajax/logos/lrde64.png deleted file mode 100644 index f1091dc291dc74b1661f8b2c754f1b104a0c7649..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 5532 zcmeAS@N?(olHy`uVBq!ia0y~yU~phyU@+leV_;ygx@E`7z`($g?&#~tz_78O`%fY( z0|NtNage(c!@6@aFBupZ6p}rHd>I(3)EF2VS{N99F)%PRykKA`HDF+PmB7GYHG_dc zykO3*KpO@I2DT(`cNd2LAh=-f^2rPg44efXk;M!Q+`=Ht$S`Y;1W2%~z%d=>5Qc>d zTqZFvh}3wxIEG~0dpf(aAol9q=l12*zpHPBpS~rYa(Z`fd5`#pgKW-50#b)Ac)nOt zZ8i7HtP-oqA?>eb`FvlZZ9LcKY>Bw*Wn0EeksA*hZZy2{fHgWUMf&t4)zh28vZvqs z_pa#NpO5pNuzDn^8aKX*E-m>w@7>?KpMTGLpKlw^CBM;`qj8Z&)S)f286K9tT-&f% zhvFt;It*QR|Tb~yxFWFan{F}OP=M_#()y<5Ke{;1P>-%M#u3uB-SLa}=n;!Pbu81LGTXW{^Sp_XY;dbrk&h_nXycBWj-*?7_ zXX@PTEq@Nq zd;GRpTl(~MdE2^I+IM58UtiTH`Re`a)W>^oXPxrq;`7j4o4IrIH5D<^*7i2ELtL9G0oN8oqfGrrkK%;^j4QMZ!bTn376mM+pV8}bJNHCtY=U5 zYa9&8{~#`3CETH=yKT)1?TU}ftM^~KU$$ROq|uOf`--{A z24+{=x_5i3ONyH6Vm8Y5+x>eq*ZbLD{`Kp&Fa_;B8d>*(aYlzq=MtB{M?XK8mVP#E z(%h*>=hwU|w)yzu@f9<(rdgd&^u(hS970oB^QNCG-u-P;=JRvnW@~2rXXRYU-z6kp z#qg``Si#GzrIP(@MXS6svvN{iKRdglsOUl1Ql93=y1Fu!MJ)^Tk32bI(Y0ua&hO^U zNBB#XRF*!uva{RA&-bk3jaBzwAH7g266(ADPcMT9=d`2!W$&L^pSN|dD4O%(Ny^+Q zm(p)OTFluXFiF3r$a-SI4ktmT!>J22xH>E5xENW=$}ZDqyX+Dyaz~H(^tOv8XSp-> zpSW7T!uP-y*(FofJ+J?e)v6?WOMlzO`s;aaZ0jF>tXi3qk#Jkx&hhUd)`ZB2jS~F# z%jKu0rt-8VKY9A}8)KpG-vk!BD-03a4m>_2-|gnr_N&Tr-}BH(!HG7z`j%YV6u zSFSw#_is;sZ}JPPUCS0`O6|(KaQEWD&-MSm^L+hkXlLn}UvGbQ?OUCwjhnWwT9a~} zIeWH-j?Rz&%neh7G?%I^(+hy)Mk2mpO|mN^z_?n4Rsq;h2w6U^tQFJ?TXTW#K9RARjH^lO<>6+&vRS1O)C1m zGJ4yt>f?XE|4XgA@OyFN|6L-!<$w3HC#cLh^8BmLjsM4@&-cc?T%phP)3Wx-hq<$s zWlM+Y{VKV%C3*A2*_(7Wylt52CAIbH)sSmf3bwB0^$iRVF_3L_5+3Uh(9j`;Bcyn$P{_ z-?9pGB{m`S)-9 zx$bKG9y76>2K#NEZ#(n$dQwBC_bTrqrnAeV{uw;ERwOMg?ZBa=to+8ZWQJwv*5}Wk zvFowczKdl1FkkNWsve$x6OF#!WtlUUb!Ogv^5of~irObvOqR)2zY6}pCHeBJ_-CB>v5_PX~U~PS@X>yF2@>S4imLK9?JNzdyG)xM$&R^EK7aKJ3&! ztax94`_X9r(?SdjH(tExHvhImXy~I(mg{Y878Q>~+!BAjNcOM!v^smb$-kM(FVBCH z+FZ0{vsvSgmmA6)Lmz%GfBXN?okcP6p}wXbCp*jgE}IJa+Wq=*E?+FQvOaFhhO97Q z>3+4&o2QzxYxnm4j8t4QrKhL2aMRY_F4oh(EZ=|6E$H`Cb z|K@C-UM0W(T7Bu)w$jy%60cr9{95j}@!LCJ`y37ZnrmVwZffW+S)yaVV#~Iz?|J%p z(w;wmY9Pv2ylLy)S4Xvf%hf(forVK$|YRPKP%WHQ(d$KZke(tLE z*FJG`7y3-TyZ+tMKYc%SXNT$jQk!rkbjoetmL*d(7V!J3%3EBm`BbjO{aNG8>E-DK z9Zj<;o&P^f=C9pnar?W`8NNHw{kP2+-93t!^q!uWx$XQBbvNm7`wfx}o71Btyu7xV znVy^;ckg?Ta?5rF{ql^Dhbr}L{-1hiKJV7XvSrEA+gakAb!)b7E>HjepkVE?*J?pr z4S$cH6Y4#-%KCQH`_twr_xjq)jZ7^MM(c`4>`ywnUo^G4+}q(VuZF!g!!c#fn!5XY zHmCd9Z!D>^{pTPsLB^(L%ERo*b1HwIRXtj1>1|UdzgKo`i}J%|%gb_pS{SG-{c>Z1 zu&?FR_P%+)KD}I=pZ{6IDb!Rp_IjWw>q@N|CskI9olCzO``VDFc^xx*z}|l;xusA4 zZJQT(Ga|5H_vL?Q84DI}W?z4Mhq0ldS^337xemL;Ki)WOZP?;mrqS~7qr-voM~hhu5B4vYzV&fAuG-<~?lLuHLj{cD3_ zZS4s`Mpib59&AlKcI@~`z8^O>r3zP04b9n6yz$=6!pgnejrX4_*{=u=3HR3ubkmsP zI_+`To?q$%dgqT|0&3LW*AS`Fy8O!d%amUHoSP(u5}NV2<@=7dY8Zvuh6n8 zvxn!)ha=Z^|Cp;jUqz}nu}!&U_p%eK&MkiWMUuEN(uI#i!hWYb0Kk1wGsju36-Tx4!nXgXrRn*zCE!o~< zaBgc{)bGjidxAAxua!O(Wep7s3}Fooy;$1ZU?;D9I^pOv)+tv-6kAzXmrVFkW5*ZY zsl2o)w=!_^pCiA6WA=ufy7^9IndE_OwlewMlRCC1Sn~BfPKXridbQ!{L{pKox^5Ob z&%~GZ&+=N@l|Q$}M(pX6o86J!;<~ex7e2pk)|i>L)F(PLRDYK?`veUQ4X>&dtGZUL z%9z!*?DdWqwn|o2k!e$uT6XMn2uez2IA|~-kJUO=sBfl7>%e@KlJ$-GJck$MqpH>InbSX|0TfnKf$LSQ0 zlF&+z2`~Lx1dNO)e%TNzaLAFPQRMR7>$4-Qinry?_E7QBN=&*bHZ3)A=F82w(HzGe zJsP$0Cm3H2smxCg=V)A{wQAJ~^}0RJ4^02`>62TyPUMH}ny2&rhgJ)0pV7c@LFe)} zZ+FKPN@p2DSyk^g1Q;o-$ogg6RW#S?y{G3?9?47fP~sY;O6zGQX3dNa#g>-%`VB}x3cI=#N`h4lZY-uvyV zg$07NmQHP*a{b)ljXGBPC6hZMub75Tm@1w!D~W4Cmej&M437^Bf7!yXU@Sb>OuYVt zcVVU7zX{_02V4tF<))wio-|9X@9hH%vsLRRgwJs;bY;}r-ngjgVNvm;-pxmnJ53sd zQhu>_Wo>@+?x=*G`NWfjQGIcN_B$WT-Lt#j_V&bu?fZUJ{<|Ij_u*US35h*Qts$$Q zhi=Hboh5TyMQUc!g6c_Eqo+>{pE9?s%>3?hgA2ANPBuR;tiIc_>95ABt`e4w9+Teu z5qK>Z;isW~K=$;im%A=BpI$sMc0%)%rV5jjKTe43TQGaKT#T#23w1f~3)hNTIwuwu zb?2@4xb(>5@Isl!>+hdGzP&wgk$UIRM@GPPk24GQSZUhCA!D%&icgd`%sL{ zgF$(w&rZ>+vonj9&0MI(wQAN!#_i9(&t$jg^Ysmu)i%?cv2*+981v)bwi;Y9b_&a5 z&{SQPYP5aZgxzuxQ@`;}JG@(6udw94W>L4(ot>4Dvl3T19h{?6_U~O-$z2DpP64Ke z7CY{;t=b?dEvaOE{qUSyQTsj}-zsBSv!(3(Y5n@$$^Q?*;-{H5U z&*-elik!A;)j!FAmbVL5NU9ij-JKxL@Uqjg?|@P6ql;hG^%k&9ek`~|WXE1NHlN1H z_dYmW4Vm!ZnyJ+Es~_?{t5#Y4j@(rDkY}@!FsGmFu7*{sZcK9xP3BAuO%17-6f*5u z!t^V`(vnQR%Ih~wV7LEg5Pti1@80$DcYXzhKfiP}`?}rsMJvC_FB7`vaANWPc3$}j zT+82zYff}}v?Shd&%w*Nn?@=WLI&^~`)KGi^<-)8(%|PkiFlciIWMhIaTJ>+o^W z)H?5Wy)-Afq2DaiV6Y z+au#dt=!LiZ3~4@@hZ9g+Lhop;n7Z4ktxrN?QD+jOrHK?Pr+1cvFm42_&q$e@{G)E zIz=W$sGOU*U4Mdy%8K|6628|r<_f!pdK}BC(vNq(T(ZPt^BI$1lhB_l*RNNxF+BHj zU7e15LWb7s>uV2Bp3bf(USV@ZC+5WDMh5-8o62wI-L87q`1ba^ytk5bD>sMiPyM>J z@#BlO0+nfVMFTExd&`k?ThT@?@%!iBJ1=szOjvVw+nm)5K>E~_P4OXT&Me%D*HZKaqZOWLI)+j7<17X5kC z+H4*rw~M=}e{D)eMURJ$Pi}2&$-PBK!{dMcg>&AWm=6^Po-SIkYnHnF zt%KaVzv)*_P^@2kCksx13pfXZ`)sR@SZyjHFS(y~eVTJXJn&!?n`*hj)>}!4Vv-?kP zd2`p8!9_?dzP_sZCb#{)&s%NQ&)fd!VSB~uQXWm!y!Guzv&HuL>-e@eR;V0{UOz7( zrGU%#@(dYXV?!g;;;E~a9lrS_qh;Q?x@qh37nRldTCLnE=dxp8{|r0-UiX3=^|`J0 zK1FD%Bp(*!< z_hCng&bcT5j3%?Mm^mdh@RFB*f9CT^|KePg3T2+}TGO*9y1M;6qYd*ppIxgoBzAGT zo-#~WV{zPnTe$U(!q3nCn@SiTo%k%Rt-XEYp+pZAg_jB?vff)a>K=a~zoU&Mr1OdO z`G4|kzu2eoekb>+8=Dj8VC(PXCeb3~{*NL2-+mt(JJLzO<{GTuV?&i16&$?qvw!|vR`6)e~G$pm@ z&l^rRHMO;~UY*(;|MSuNg^LzwYuwpi$eXIldiQF%N$;M@heg+pZhpV(ShA*D+xmd8 zQ2)A*GB*1T@J_w?HMGk$`N$$?mB|;QyA)^EHD>RcHgS@NMAfca7fnQOZ_8UDw_e`K zV#Z08jTz>%3=I#n`0oDabi+iEiLrIjpEn#2R%lg}OntcW$q8HO>vg3`IeXsC{dSJc z)Li`f4S}`OZ|%Hu_x!Bg@9JLnbuDVXxMZr|ySxsDc^;=$%5tmE;(K%dyZCz<>#*gL zc{ckPC3+%Gr-Cnj6~MIJ4;;TkIvVT<=wC zi^5VbZ81@tQ-7-zCs)-?T94@NvT%5{>wVg-mwxXjN6!2xCzP^p z`_7%53iq#@?>S${?7f#W`ke1g7UsNEk8p`6)9Tm%+;7WN@48(48wUdegKCLuL`h0w zNvc(HQEFmIDua=Mp@FV}p{}t(h@qvGiHVhoxwe6!m4U&MAFoqTH00)|WTsW()^K%c S@C^nA1_n=8KbLh*2~7amSE?8Q diff --git a/python/ajax/trans.html b/python/ajax/trans.html index d985484f0..9f18539ba 100644 --- a/python/ajax/trans.html +++ b/python/ajax/trans.html @@ -322,10 +322,6 @@ Spot Logo
Spot Logo
- -

Translator of LTL to Transition-based Generalized Büchi Automata