From c26a9148eaeb347679c1f7d66565f0c6ed698db6 Mon Sep 17 00:00:00 2001
From: Simon Barner <barner@fortiss.org>
Date: Fri, 4 Oct 2019 20:34:55 +0200
Subject: [PATCH] Polish start page
* Canonical capitalization of headings
* Update copyright
* Base background on CSS: avoid scroll issues
Issue-Ref: 3834
Issue-Url: https://af3-developer.fortiss.org/issues/3834
Signed-off-by: Simon Barner <barner@fortiss.org>
---
org.fortiss.af3.rcp.application/html/.ratings | 4 +-
.../html/gettingStarted/img/boxback3.png | Bin 5482 -> 0 bytes
.../html/gettingStarted/img/fortisslogo.jpg | Bin 2777 -> 0 bytes
.../html/gettingStarted/img/infologo.jpg | Bin 1409 -> 0 bytes
.../html/gettingStarted/img/infologo2.jpg | Bin 1516 -> 0 bytes
.../html/gettingStarted/img/tumlogo.jpg | Bin 1245 -> 0 bytes
.../html/gettingStarted/main_style.css | 19 ++--
.../html/getting_started.html | 86 +++++++-----------
.../html/model_element_attributes.html | 2 +-
9 files changed, 41 insertions(+), 70 deletions(-)
delete mode 100644 org.fortiss.af3.rcp.application/html/gettingStarted/img/boxback3.png
delete mode 100644 org.fortiss.af3.rcp.application/html/gettingStarted/img/fortisslogo.jpg
delete mode 100644 org.fortiss.af3.rcp.application/html/gettingStarted/img/infologo.jpg
delete mode 100644 org.fortiss.af3.rcp.application/html/gettingStarted/img/infologo2.jpg
delete mode 100644 org.fortiss.af3.rcp.application/html/gettingStarted/img/tumlogo.jpg
diff --git a/org.fortiss.af3.rcp.application/html/.ratings b/org.fortiss.af3.rcp.application/html/.ratings
index c836ea7..723c475 100644
--- a/org.fortiss.af3.rcp.application/html/.ratings
+++ b/org.fortiss.af3.rcp.application/html/.ratings
@@ -18,7 +18,7 @@ data_dictionary.html b3ae064896c7617b7adff889d129802c7832438b RED
dse_perspective.html f050d9fa27d2c20ce5dc14e56b37184676bda4c6 RED
efficient_deployment.html f51b3cf4a6dc9e172cdbe50c2703a13414d0f3cc RED
external_tools.html 49d87b1873ffd6c5132aafd7238464a565742a55 RED
-getting_started.html 7a26d95b262da05052c6e798b22e01eb9c49da18 YELLOW
+getting_started.html 856f0f694a2bdf70519703acda8dcd90657808da RED
hierarchical_state_automaton.html cebd924f514cd50f229c7745e173f76bd0c0038b RED
library.html 4dcbc369f70cc5ba943404da07e15955df65b3fc RED
loading_standard_examples.html a2693477f0afb902f2899d12b3166f01378f6d8d RED
@@ -26,7 +26,7 @@ manual_deployment.html 91f2636b00d59253f7007864d4e0ebdd0b713dad RED
mcdc.html e2c759d71cf926540a34cae6b5c65e3899dd7e36 GREEN
mode_automaton.html dc395eab03cb6920580f54e317c3d203e64cb496 RED
model_checking_with_af3.html e856030ffeaab17a2f69da94ea76b8b369c30297 RED
-model_element_attributes.html 627723b0a950a43af5cbe16c9ffd608a951ccf49 RED
+model_element_attributes.html b9b78c89164cad7dfa13e0df1f3beb5f58a3f1e3 RED
model_markers_view.html 9b555dfff011f385fdde640f81ddfe0e5b5edf40 RED
model_testing.html 1337b89d2933f98c3ce76fb70a5e2f96c34c8613 RED
non_determinism_analysis.html 6358a070d69a95bea3b521b2fad248cb002d7d2f RED
diff --git a/org.fortiss.af3.rcp.application/html/gettingStarted/img/boxback3.png b/org.fortiss.af3.rcp.application/html/gettingStarted/img/boxback3.png
deleted file mode 100644
index 7a3936d7d6546c8477ce79c58350a27878a93b3b..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001
literal 5482
zcmeH}draHc6~}+(6+)qLTH2Aci9qYJtW77<P6=7psuWmBmqmzlRW?l>L?KPLY|SRL
z(MheEq_fzxNlfdeXqu)nRoK|Z4=@iK3>XtIZ}W`9BbfKYypr&;0kiMd!j>6S`@iD%
z4<CQez2}~D?z#8!$CUGLMuZ&>69ggRY;s~M{)z-4a56Lybo}b&YxooNUi=T^1wm~&
z9sH*${63VKbTRY72UjwGm;Rd!A^!3QmolQy{xbc&jMR+u%OC!_A>(_35O6)^+}lZ;
zo10@}W4*n-Q&Usr<>hX-ySTWxtgNiIwsvNAc5ZgIrKLqCljY~<KYaMm?cV6`>t9@2
zQYw^YvstIpb$55KuB_T@Hm$aBWo5<Xay@$VsM2UGEiGMIUY5({Qfc1e;-k)v&Vqsh
zlgXsjXlqQS_V)ICdA?Gq)MzvghvUJ62P##;;Nbm*g$1cp+Sb<QbguUF^vo|Tj0}$q
z4-ZvURWC0uBZ`gn4VTk7J?*eqERBtgO^r<@B_%f7-KM6d($W&WUT-ky6$(ZFK!1P#
zz}njS+S=O6%5s~vO{3P-V@`v`z3Hy5u2!p6?d{gOx;m9gT~}9MQDM{-=`ehBbYy;h
zZgOIBbJJ}fvX4)Uuk+i$=W?w{rLyLxCZn;^y|K~N)wwV~uhOVThezy#_whNMPGx~o
zCY71ZHHAfmt!-_c9UY5Hi#4ViX`Xa)a<Zzbvb@~T(%Nd!>nA5C6mogJrM|DXPp2yy
z9~-w1+Ux7;YHQ8Q%PaXZnbYMe)M`6BJ5>d$iHV8%h57c5_M)P~uCDH(A-i*RwXm?z
zU@+XjKOk4g*VfnP7v>z((<LRvj%i0_Wu?t_&uX<=8X9J2XZ!m4RBClqRTYXd<8avR
zgL89pi;IiphVtg-7QMc#t+n;uy<Vrw+1%7zsKpXpqoZRpGY+Lvp(-fQ6%~z+jO69z
zjgOBjl=6y-iiXC<>FKGVq2ar>yWNauXkcLA&Ye3Q9UZN$t>&5<qtRGlG^#b~p1VCW
zvorR=L9JHX-PMI=Qw$tWMuS>2Q_o+(&#%%a1g)Pb5`=?aoK1{>JFE9nnh+Wt67q?#
z2YW@>>x8{iuy+dfPQl(O_zIqaP(1V!0S~<gE&{THp%BslA@6)Sd<>I)9|mUvk^v!J
z#RJI!P+ovZ;}4SOI2ei~h``l75Cll1LYNXnwc`Ea*Tetng?|I=R6Gz2c$W&H0gw~E
z1<_Pep=^gEP^==D96~_0>2UNXQA*JkJcJT+0Lq_f3iXF$q9F0DsMm#)**hRP0H)_)
z+773oWCg-R&|y}>Gk}W%lwg2`exCIL6_1HZC>$ny3-B2|M{g-UFo&TwDX2|Il0W2x
zKzSd^c6benJrJgya0Di+2qqtVM1{NO1<5%m7OwRqAeMu@AbA(cZ5FZ}6%|Kpf#zA1
ztqk?M@z}2LGzt*-P2_YP$?XI)Gq7<Be}G+ye+E8u{$L7$a*f+VxPtnc8KUhm%xFd&
z)ttIJq%hW}FeZhAiy3qv;G`E`B^-eAzzeTn<=p*P=by~yARr3L|ASN9>qumn=!I)M
z8P^b|g?n@X5X<xA1<6NP@VXf8o0(X+KOAE(uqkTkjBo;*DY*h4SK&<ZGN$G*jWdAH
z_W^$I4>?R#4<+^~czv8bw+}wD*oA~LHs~u`V15E##r$ty^uHka1AJHoIEw&O2LaA~
zIs5`uO8+*zX48G#4){8hIQBMShQ+x6XKCEJI)8``gYq9J+hGD#8WJ$|9IuSOz@Edc
zJp{1w%)bTroFRS#kP_gpyosr~JmFnzsw4hz6G}`J6hit@xL;+J4tOC35XGPgkw`4z
z<d$MSjB>>>)^0Aylh6;S-W?POA^lZM{eoNjJRpwS@}w7NvaxO+py>z|fcYraxy=rB
z!@b=LY24!yC>~g12sC}nF>DBel~s5VAPxbfdm)BE6X80Ok3)1f0(XU<pf0&=qfc2o
z4&Da2Y~V1MhN2MfXNWi95J1KZ4sQdNHH?ZEf>;UObA(%G0Jm8HFPJYOZy6thw^#sn
z`}>GDhpD^-h^FF$dWH}LAD?oM*n9-@uP`-@_t(?Af{f45^IIm#-{Cbj82S7Z&P>di
zkjpFQ=O~cLWAef~a39Dsq}dg2oq);0#C-5FlsF8&<pEY9kP5(jf+6s_KD8@|nZZGr
zuCg582ly0%Bos<EPX)oo0&O6b6dr~o=5z=doWeQ@yn+A4OK3j^=J3pKgA|&61d|V}
ze7RqQ;)4Z_`56>~<Zp1F!_)U;fQE19O%y1`2a!<TKoMgI20;1?2w{?S;Z5O#<E+a|
zP<${7CE+zFS2<V=2xU+C;F#A$pvlZFwlS7Ygb;re3yxwz5A<`_BA^g*9|uf($9#vt
z*7rdcX5IK2l$~$_Cesrz`Jfj{E^m}9__?tU5XL10f5m4?g(-$z6b>+Pj1MBA#EYQ#
rppl;Wtp1iA@*$Fo;{l%#1%wNy<^PEMZd&Y70pHoA^NFfA(r*42Js4y|
diff --git a/org.fortiss.af3.rcp.application/html/gettingStarted/img/fortisslogo.jpg b/org.fortiss.af3.rcp.application/html/gettingStarted/img/fortisslogo.jpg
deleted file mode 100644
index e9a4632feb997aade3c232dabe55d1705000f7a5..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001
literal 2777
zcmY*bdpy(KAOFraGxv=V%AJ^&D01l`*S1Aix#W^umPPJO>7s=d$=v0VQHII%C=XF`
ziR8NEGBJwq^wUKyAz}ONxxQY{`@CM~^ZC3#=X1{coY(o|!+*=40;KWwIC}sj1OS18
z0r0;72wQSMNGt#XAOHY33#bJ^(kd|Ap9loD3K$Td3nT(U{{k%Vz!1R<hCm^I04faq
z6T-qUm<S9e42O$~!r|io1qciVLm^POurORg3@#=iB`JWE)Srv~HsXIp|E>Es;<o|_
z5x@{2f<XvC2mt~kK>QBiE+9|_27y2Vp?^ad3Il;fAVP2fDaiao|6v7+g+S7PK#LGW
z;KSj6CP9Lm00<~jSj|8NW+jVq@l!X9yq+OveD6`zphiILdHFVLg8%*fnp#GJlR<yf
z!k~X|D|kl)7@~$Wu-XrG@so+X{z%=BfXcYnrXkB82gJc3fmAR8umrZZ7}%4AX`r-=
zuL|>SDlD}*R1Z_77`{||y$|)Uq4CpOBy46R<5gZe;r^jy#5=`;tB+-Kq(~Y?_B|&C
zmWtv<n1!FazvxOc@Wnr?ginP@Dxqj(K44^k@Xp(iC_CtuBU|EKO#bSrl6IP!x6CTz
z4S1kwQEyorF|tVnH7r$KHmS6EIkRT-IK~XwOUNAeBEIQ|j+80hY=TBqndG)l0*mQ^
zjYk8Md%2fGUr+A$O+~DEMl#3@T=rv_OjwL&W=PEH>SOe^vuVL^o|3fQt}P{Vn~v#)
zTD-0zPTMOJ5hM2)P$XkASpI{Qo|{Lf=^k$qya1*ez_h7E>e5zeB`aQ6ae>9jjux^d
z7F12}+VIV~9|ymh>}r2WEa5G+zG^jS+?j1}hCgE6{p{AshWW&6Nz!3xN@vujE~_ED
z#Bp^{yKRAOsiA!wvAArlVHfA_`bt_fK}1h?P~SiFYn3B+?64+H7619}jsZymrGto|
zvD^AEIfo`r`V&gyLC&J+q3HI`x&^NZ>J>X};*;^Vrnyz~XOXIPx5*v{Clqwz2?XWC
z1ERyJyQgQCIo2^BI<_Vxw6lVs<#%nfx-OW@(_Tz3)7oOAqA|Mv`!TF*mY&FDRE8V^
z8m3<~ILHO*`M^xMXVA<8Gd&pknl(`TY}q7kTczrF+@9_B?-_B2uRf}^oVapENE<Wi
zZ?1jD%~0zgv`$lw>j6Qr7C*K|F!xLwy&w-Lx;b6II7=8AIIKUGhHSsjXkY)|wrBBD
z(1HphVHy1OjuhRg>}RpV{Bm<hX`Jz!Umf{?R?xYP`i()~$>q_W-4|>Y-Mqf%@eI*y
zn8#%vvN;ILj^I8E(0!_sr6lY5>E$_-Z>~fzK9!mT>#YCP*Xyucz8kA<$gXg`Ceplg
zFZafRVfnbr$K?Zwi<^3Vr}F5tWbu%NV`4Hlg3eVbz!504VP9qnZ-Aj1U-e_@P;fJf
z6U9v>1&+mx7!TN8NmwW<s-MYG&OGzl*{SLL*Ny&T37Z}pa50t7F257=xe^sgMbtY5
z1>^6tRJ*99C-H=CES@4X;TlIiVy>3+f~KetE&1Ycu7&@J%`owkn}srI*`sbd^Y7is
zZ<M#v^qfg0`TEy)?>wtB?#u>FdyGtqUvY2?-$jcbwbpcqCizw6oZV$d56tQt-m%w5
zOj)ygMOu$yLeLMBqdQ12mIp6Mejwz^PvMoLJ(QO&6?7}zjpYMKy^=RqGe-UV*W}{N
zJti1I2)be&S=kf$qw!HVPG~CH$*k&5)OKy7Q}1G~L1urO{ZEE3Sq&{YOB?hes8y)!
zV#+rvDncPbv2Rx%E-H~*%nI21-9t7Aj^`ZgTPIvRuUqU-dTpG=u}Q<I@qra1f0(|c
ze`#-H+#9B){tH}cSbv+%>aoP-+p(4!jE%4~8@vARXNN*o<~%l2L)gKgvJC9P%_-KC
zd4sJ$SC(YW`j*x?c1F&x#Fo_+-|i<{_-7M5>RL}x%O{Jj)RyZ??GfHyJi+G}D0q@Q
z=o?s_HB6eHJnItp=(nw=8}EluL?0ulhxBCflll?&Cza4oro9R*5zmXZI6go%e&2k`
z`hAFNs9E(Fl|I&_(OUlHnBqmR;(pv#H;X>aS%;S;46f%}hsL^0huuEV9afg~=A%}4
z(?c9qdzSNj6%$IC!4(qYCm=sM*`JT5nnzgWOUz<ZG?d5luL{pQa~?$mw}cbwyAFkD
z_n&5qEaqy<hMI25fRZONKNz~pHuRh#W1gl|pT<B6Z&h3v@%qvwr4aVMoRi~CLngfr
z_%OZv?PVtskwxpq&o~7x&2)${xP+_s>q1S*RiY~J!boc)5UZuMmur59<X5`z<@O2o
zCA9aarcX-gRBwh!rem8~T*685Cm5fAbBgYh2imoIPn&YGifg6E+KIFFopUnj!Rmv|
ze4XD%r({J`7YVUS%H&6(Da<{(r;hLakQfa1H63hjN#_+_T0hR~9Wq+ox>T&)Qqftn
zjp76LY}W!_<@bZp4EnnrIHi>E{to-thHrQbiOii>+==i18a?e2;3M}?*zo9De+OEf
z-u5<sSDD$B%36(X+j`_6vdgCpU+4Wvh((;Mo&&&)1bKyOB#!R$jcd2CC%$$^W9rMi
zWn{j~J6QSS>!(W?6A583DmkTSelG_l(|6m+dEq$AHlVgJH4OOjR@~UBV~W6uD?wWR
z;`K|<dsU(zg{N-v@$#vyCO0rDnchxnFZ;IdJEi(q!xBEbN>wQm<;l4y-q(JczMz19
zP>~ojrWE5g+V<1?)p+{1yvT)8_o1?wnjaJklskIy>E_ME+EmiGW4T)+o!ym@p0!&l
z%a0i)S0STl?HaSHlugxMSMGTh(g>97;~a0K;2sodM-?&q*a6~0u{tD^xA3HS=cpcn
zTb+;bPSyjj1(CAf%nI744ZtoXdEINp`%Ukfle(>~URgP~;}eRJnRO37bk8lhn8)jy
z?Q-;6%%=>KG^2mH(_7gATiG|z&j(2519du5N<u)(s1N=3yV>j`;bDQe>X+lmjS3mA
zDMgBhbRzPSdQ`;peo+l8Wgt2Vhhr{NoG*Y0A)3z;JyIFYqS!O$`nh{caDBF+DZCL!
zwP2s7^YOrQ?B#+XJ3|95Hy^q39jlzYey#kfWzUAAh1r4m=iAMej>JpVE!WIAq@Mw2
z-ko5K<vNsEJKxBx1d((Ap^G|7OKT^huuR6n`I4=uoWS{-H_S12NW{ml>jc$J^NfLV
z<rPt!WLa=17AVu0s$*Fv%QGA>O4;(xt?Aqtt><br7-mLzEN@l)=+oN`z4i48$u}w#
z^<@(iE6tFos#iA^ZExjrrml3+4vptU5@f2Tu!IvPk~^slk_VEsEvA!d`h52>{lev~
zboDld3DVeEyXJ9QF3LR18)`92Dc+aZWhJ6fo=ro~wJtR>oGLA2QF~9)G}RKD9nNRQ
ziyn~*>WRH&dtlCg=Clsl292M6=;uZU*)lPM;k`u^UXSexB<P(@xK583#ds4B)wOo3
zcVA5WLAk%ziK8o{6COQQr#pX|1o9QTuo0VGtZXrE>pznIeV5PfZJT?%cZ^kX)JAm(
jH%-46o0a`f|MFKGlT5u*aYtX-*GK(KhN!Ks41etZdS}^O
diff --git a/org.fortiss.af3.rcp.application/html/gettingStarted/img/infologo.jpg b/org.fortiss.af3.rcp.application/html/gettingStarted/img/infologo.jpg
deleted file mode 100644
index d45f5bbf64640fd98c03dc9192bf9ce4e5f92f6a..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001
literal 1409
zcmY+83pA8z9LC@8o11Zok>n5-T@*rV<TT8nj9W+|RK&0hnhCkz8e$?86-$d+Qz&x3
zlr?cGqp8-q6b6mTC7HDjcC(mfziLmr{oeCl{?Gq?-uICVOD2GV1J#}iAQ*rEWB`c>
z5DrAqLgN4g&;Wo#h%^s2SOqZs13^G1qCk>Sa1Ov<K_Mp;8d*_j4EhroEao#<EDk4y
z!(s7wX=yxO_FEtn3WY&q@K`KfP6jU{C%*wfUjFl?e>d4L)wjN{m8268qyQ0^q96i*
z2@r|^NgjbL08kKwOeE+RusA7zflz4tClzV^2a*?HAq4<KC>VpJm-*6!U=%=O2wKKg
zu8LT{jd|L8!ddmWg)Zy-hVR`X8<n;yBmcn=jQ!tph=-tsMjU?OirO17dss>m0gy#f
zzyuTlP=I*7n&x3dDPGLp4WLWyG9<af{l>zb>It^;4;(B=aii<kO@-1cb&9^vpZPnE
zYG}{C#mxoTP}-~3>5u=;=Pjp~y|XPRtuUW4Ri8N&NPvh;p6bDG`b|ou)M4W4N}gpa
zEilxKFH-Fo+)*K~MWq?j((0~hr5LuN_fNUDlQg8ui%dG)9iGHLA{OZCH^fMQFks&N
zQXIN3Bcsc%sXIm?b7LJ<b;-XvnZdmp`O)mQcr!U5lfe<W&GuC2l^MWfzexiYFXef8
z0OL<b%NS|g;AG^$i4J<rP0g_8iS*XJV%LES3N1hWRGTksisla;&DU7FR<wbSALq~>
zF89~`I_#!?=D_)*q`+I%<}Uor!I@=diV>!suU`<?98q?Zfg!uu$++YcFPT5KE*u=X
zXwOjhSbe$Zp89HD{mh3g?<)B*hm)12)Ox({n;0?#?jNj7X<h60Wy6B>iW=|n{C_4t
zeM+j#Bno{dh1Z4sERXp@!)zbllP$kj^Z1TZp4QkxS{r>B7rmNd95Z)BQ%l+V1z%ky
zXX%O0OwYE94~{ftnf19C*v5U_)!g7&`$Q*xDTsC9b?k8ciXI(?!V@jl*way~)DC!1
zJe3<wKA%AMP7iIfNlH4E+mb*3-i4u?A-10c(@wBLWUSQ;aZ`a#L#casR3Uq(IUKAn
zL#Ajv=Y&ioW{d4e#f?5ARE;}j%Jz+?#|F!GONE&)OoyvC@Wz#$duOs2G(?HyHzD2^
z?#4$1>R0i6f-n0~`{xak8J)$eYgu|6CJS@drsjB2Kfab&|JPE!vlTu@abM|yN)aXf
z=twW|?G3#+Sr?1_Otq(iY_yX}34057kRMw@&cRvOO1nh5t(i>kZEa49Uj*xHL$XIi
z@9kr}%GR_KSE4NJD=Moz+OvFV*WiHEV^!rXtc05-sZ?$S^X#p`D;}QZUa|W*W7~C<
zyoM80MxDl%GfgxVciGndvffbJ%1PArOCNQ-M`6~HOSx}~xkE515DD6sR_d6QwvF~m
zRNotVXS8PwZ+=AF)GZjoN1rsTawcQW(6=(WSk~=(R$rJ7?BMi?LN~P?>b5>xTKw`u
z*IceMcdsVhPb+qa8>Fhn9zXkTpS0ZN2)vXoi%XvjH8;qpFXSqA3J+HNuq%pCH4Tjo
zki3n=Wh<!g=ww~5hs)y<5SEfhpXqTgxMO6a&$Bce+Md^!I-<ueY1((r_Xgzz@%U*h
z^SdO$dwacyrB}vOIDNc=#o*00Id(p(X;jyPGM6nsy6n8vM$O~|ztN%Q8VlqFvBkuw
z$52WBNhiLk1Zb_O1{$f5&D`4=>`<o4WJ+c8Tu_a2O$3`7(oLkPg>;*rn)U1+?XS;i
Ky-CxQjQj)RcQlCr
diff --git a/org.fortiss.af3.rcp.application/html/gettingStarted/img/infologo2.jpg b/org.fortiss.af3.rcp.application/html/gettingStarted/img/infologo2.jpg
deleted file mode 100644
index ba99b25d1c8668f2d02cef29111a70ea58fa4ba2..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001
literal 1516
zcmY+EdpOit7{||VeseKXnFhJErXIIOCL+~7t`j3-%P_kp47p@hnXp8nw8+-3B;-;q
z6>Az16=6~>YnvTLl19o5iYAq)Fb#vuPM7U@`keE;=e*zNJ@5IRe~$98@+nyE;p*-R
zAOrwmssWVafZ!6po1F+CfCK<|siZeR-6<?Olm)_CRSKk(fOLTP3ar|}NL7T9DC9>_
zXw)arXbeUTgF$1lI2;zc^jjbphEYfq7LCR(TY_D(46m*NkN;HkWm)<;`}W+|OxX$u
zYQP5A!4Lr;2oOwwly^Wj05GIN<@0|~Xe0v0eiXlvfyy$p96(420i!So%;$1df<ys=
zft8bncS!06O+&5gD>lWWW1Mr!=%KN>)~c%@1Okmyz4l9g2tj}iyseyK%KqLElA1HD
zVHjJdiR_`jyXKsxr4)muFr=~v695IwD^hf!l(1r}%5`Nkxg3LNK^6j#s;KQOOzdWy
zFX^UTy8fW{4!K!LKv7zCm&GH`HMgFQTf#s!pR=iZm|5oLjbe|21|nk1KrRhf_f{Po
zv<efFB!Od9apjFy&xa0q;06w=@3ZuXbC+^T6~-s03Zt}dOeUH$gHU3R+JM^~>HCx9
z7VEEehWqkj^pYj+jTW{4)|hPwpt<!LmC_}9ogqoRZBqi@%#@RUJ;{$R@g(f%XxSJy
zSHN+J_HoGDJ;n&?@JM|$$W0fr0`FuOx{c`!pIx|LxN#=~KgsKPToRK$B*<8J>rnkh
z{{XGi+;E}!zHv=sTXTPQDu18Ng)vdlHXN}i`dmO=?&Q`!yFO8Mf}}7lB6mPedA4d4
z1*PaB8`2yT_O0!Wzg$C&jqK@oq3s@WRGjmGac$8k)yAi3k}9Zq+H8GT$Ipa69q{hg
z48Bat`>UL5LM9y9Dw|b;{nfLxik3&CN6sGdqx4I6RnBM6Sej}x8JpMy@4g1hDJ|l0
z^VPBtX`;T<1ZMUmPyfL~L6pyg-=E~Z{B{wwcPg=j-W}V9+i8N0hzr+Q$*)k*=SiGo
z+eOhREk<wRb%e%0RQ|s30t*`fk&J0rR&NyCN_t7Sa<8H~!Nk9VywgF?ARUiv+;HM;
zK5IqGD&r@9`|YJOA*~lWgf2lj$&QqPu|-G6==X~A7kBm1<cT^}j#7uaI2fF(rE!uK
zn(qC0wb+a}NloM>&g$juLJM2TQ890F&GkzM*t-WkQR<#_UF37C876s-KVD`^J9*{J
z&-8d>_Tw=I{+RcnF160`Qg(BCqkVmeZA7EvTwbD$*NLh1T)}*4kU-G2*kUc~6n89k
z8@_iNIDR8_OR#2M_|U~C{>%DLueAy#|Ni4IqF4Fq{yHABES-gGnXx{}$-O3Xi+eqj
zip!NCfYSW2VX#_Mu!sLMCIdv0lhX9OUu`eg$*pWVWgdqze&?m%&^6v=))sJOf48FY
z+=m;Rx$3Oj?4YdEEY@W^MgdPq4`c;u3^&`Z3ORg#MEw<|eR5^y$n#6ggYO+^A%oRD
zysM%bHgo&T1W&51A=VoCEk8m?$2ypnwB;R;0^^x*2GLmlgZSPNVU*eV>&fl$XNq&>
z44SX~go#l_C#hW6@m&+PepJrW**3*3)NEQADe>B6^Rl-kYP{b>QXBoOiOc+OXo@-;
zqnoO2Z(1pP#*Z|w%eqssXOn&R-n*plH%n!8XPlhP$j%#IkepI<5r4?C*AZPfoOV$$
z(cG8s$C7d9l0;mu#fK4g^~?kgY6qE=VRa+aI{yB&ueBNbN|D@uA=Cb`s6u#5{AlE2
zUOVM=>CJ+nGY2SLo-3-WUFPY-)YER88GVHhD(VjR7;-EnUiNv+hYvPNx=)?6dY%!u
ze$|BF{IoD&Ix_55OP`&<+kl_aX4sZB;5(tvi!@kE<T~A*w#ghFeNAF`tGVKGesV35
NzWn@ae2I8v|9_<(d8PmW
diff --git a/org.fortiss.af3.rcp.application/html/gettingStarted/img/tumlogo.jpg b/org.fortiss.af3.rcp.application/html/gettingStarted/img/tumlogo.jpg
deleted file mode 100644
index 1cf8c29d0f55a391cb15abbf519fd596d6918fb6..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001
literal 1245
zcmex=<NpH&0WUXCHwH!~28I+MWcdGvLC~c%IlGd9k%5JQfgu1W^p1hgF(p4Kl_BK-
zP=xXSZH5*GCOBXQvY1(bBr^*u3ka~Xv4Q~`8#_A(J3AXECl?ndCl4xMWM*b&WntxH
zW8>uI=H%w(=K}(Mey}1a#RK7?>VxzCA7BvVU@&BGVP+I$U=n0x7G(T?grSFlk&%Ik
znGxtt7+`1RU}j<CWP}2kFarZC8#5CNqX3Y>$im9YzzmaN1o=d8GaI{*a7n3|qM>8p
z#-dHeB1cTy%nKWpfR-^bva+)v>;S44EIi1<YS<`b)MRV|RPCaecxdAPTMRrvMNERs
zf(-Tyzkk4t2h#0nX#z(onsy7ND$RbaY|6MT?Agv~Z=zyL-NG!k%s1*@5PA7?$jacX
zyyN-rFA99MnHqIfWWn07s`X(m3YXPGmT&cLIkvC*RFHK4l9pRbCeEBTsb}&T_e(l{
zOA_VO{xh&>1WtK=VEU8y*ESq2=bMrmmQbZMEnDOH+RU@cuCwBzuBXm&J!cbm=JMKn
z=543XP5m@gBl6gqZI50~j<F29=e;w-_3G|bZz9WG-`Y>(Xb(+1xgu%S9Esf5OTAX^
zyHd8+t7O{p5SOqOC%S(drcJq`srF4}Z%65Z=W&72G4pqx4?9>ftDQIa)t1ejf?8f8
z-*&eCXILuR5@z<OfBFx(%(R!G(|KaoJ*!$fajln4P?+|`gKmdrGz)C`{H3aXO_tTk
z?NisL?iH1ca!u~`oUb16HQLy3@}|7=Up_mlhwaMax^18FWPw|qn8BjMQ|_(u@j8>1
zVw$P#dhCg+mUd8@d*XD*{!^cV7OQQu*q=DPxh=`CI%N9Joz7~x49vj=_VU4I%irCR
zs(Ie`E<(~~`n2^G^L|_XSz~#B>WvFON_scn?fm|_T5&(KJ}fATz(H{x928T7_j{$+
zYyCNDHBaA<WmR3$&qtA;)0^+#TKuD>*Ld&FX<PFS@0HM*{$tg(Yuy{~hd=K<&MQ1A
ze6rDB>$h@W0)Fk45c>B#{!8wHGg1#2uH4~2e&y`S-`m;dTRz@Bjm=;6>FRsx`_Apx
z<|}_%W@0C+obx@Y_Sd}=`3Fuvxy~0-KIvVQ%+|bDyTwW`R{K9~QVn^3Y3BV?`wjh;
zcVBMQnm=P-#k886559j}@lR3N=Y3x4+UO1M-MCf%X>HxQ=uP?6pN|U<yF8it<jj7*
z-|l-w?AE)n?B99)uXKhn+YSa(bLNj<jkD_B9$bE|;@#86Nhd3_zIVRgy#CbTxj$oj
z`P)5i+uoRBx_83;Mx~{Xs=f-g9$OkRr{!>;^y*xe$;y!vRnAZ8U(gY{dfM{9+p5{h
zL1#mktZ7-}Ue0CnW=^WhgkNWm-(P9+_?*1el;ygCbLXbnqy_bIs=g>W<$2mr?AuQ9
zIZ&4i`@GklSs(Vs`eM_``mVLP8M|e_)>YgoxM-<bX{>*F-^KT?{HrfE>c1=f&){~8
P=ioY|T!qAB{(lny00iug
diff --git a/org.fortiss.af3.rcp.application/html/gettingStarted/main_style.css b/org.fortiss.af3.rcp.application/html/gettingStarted/main_style.css
index 00bf717..da8c5bc 100644
--- a/org.fortiss.af3.rcp.application/html/gettingStarted/main_style.css
+++ b/org.fortiss.af3.rcp.application/html/gettingStarted/main_style.css
@@ -30,12 +30,11 @@ h1,h2,h3,h4,h5,h6
height: 100%;
margin: 0 auto; /* the auto margins (in conjunction with a width) center the page */
text-align: left; /* this overrides the text-align: center on the body element. */
- background-color: #FFFFFF;
- padding-bottom: 5px;
border-left: 1px solid #CCC;
border-right: 1px solid #CCC;
border-bottom: 1px solid #CCC;
border-top: 1px solid #CCC;
+ background-image: linear-gradient(#ffffff, #d6d9dd);
}
/* ---[ Container End ]---*/
#header
@@ -312,15 +311,9 @@ h1,h2,h3,h4,h5,h6
.background /*class in inner page maincontent*/
{
- height: 100%;
width: 99%;
- margin-top: 4px;
margin-left: 3px;
border: 1px solid #7290AA;
- border-width: 1px 1px 1px 1px;
- background-image:url(img/boxback3.png);
- background-repeat: repeat-x;
- background-attachment:fixed;
}
@@ -399,11 +392,11 @@ h1,h2,h3,h4,h5,h6
#footer
{
-
- padding: 0; /* Diese AuffŸllung entspricht der linksbŸndigen Ausrichtung der Elemente in den divs, die darunter erscheinen. */
- background:#FFF;
- margin: 0;
- height: 130px;
+ margin-left: 3px;
+ border-width: 1px 1px 1px 1px;
+ background: #d6d9dd;
+ margin-top: 10px;
+ margin-bottom: 10px;
}
#footer p {
diff --git a/org.fortiss.af3.rcp.application/html/getting_started.html b/org.fortiss.af3.rcp.application/html/getting_started.html
index a78f8a7..856f0f6 100644
--- a/org.fortiss.af3.rcp.application/html/getting_started.html
+++ b/org.fortiss.af3.rcp.application/html/getting_started.html
@@ -1,5 +1,5 @@
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
-<html>
+<html xmlns="http://www.w3.org/1999/xhtml">
<head><!--
Getting started help page.
@@ -7,13 +7,13 @@ Getting started help page.
@ConQAT.Rating YELLOW Hash: 5E4F6D0999163FA8E7D1A1CD1A064658
-->
<meta content="text/html; charset=utf-8" http-equiv="Content-Type" />
- <meta content="This is the developers site of AutoFOCUS3, a CASE tool developped by fortiss for the model-based development of embedded systems." name="description" />
+ <meta content="This user documentation for AutoFOCUS3, a CASE tool developed by fortiss for the model-based development of embedded systems." name="description" />
<meta content="autofocus,fortiss" name="keywords" />
<title>AutoFOCUS3-Focus On The System</title>
<link href="gettingStarted/ie6.css" rel="stylesheet" type="text/css" />
<link href="gettingStarted/main_style.css" rel="stylesheet" type="text/css" />
<style type="text/css">body {
- background-image: url(gettingStarted/img/grays2.gif);
+ background-image: repeating-linear-gradient(darkgray 5px, gray, darkgray 10px);
margin-top: 20px;
}
</style>
@@ -37,8 +37,7 @@ Getting started help page.
</table>
</div>
<!-- end #header --><!-- start #maincontent --><br />
-<br />
-
+
<div id="maincontent">
<table align="center" border="0" cellpadding="0" cellspacing="0" height="100%" width="900">
<tbody>
@@ -49,7 +48,7 @@ Getting started help page.
<tbody>
<tr>
<td>
- <h1>Main Features:</h1>
+ <h1>AutoFOCUS3 (AF3) Overview</h1>
</td>
</tr>
<tr>
@@ -65,36 +64,36 @@ Getting started help page.
<h2>Requirements Engineering</h2>
</td>
<td align="center" bgcolor="#c7d2dc" width="50%">
- <h2>Modeling and simulation</h2>
+ <h2>Modeling and Simulation</h2>
</td>
</tr>
<tr>
<td align="center" valign="top"><br />
<img alt="" border="1" height="200" src="gettingStarted/img/req2.png" width="200" /><br />
- <p style="margin-left: 50px;"><a href="MIRA.what_is_MIRA.html">What is MIRA</a><br />
+ <p style="margin-left: 50px;"><a href="MIRA.what_is_MIRA.html">What is MIRA?</a><br />
<a href="MIRA.requirements_analysis.html">Requirements Analysis</a><br />
<a href="MIRA.glossary.html">Glossary</a><br />
<a href="MIRA.requirement_source.html">Requirement Sources</a><br />
<a href="MIRA.requirements.html">Requirements</a><br />
<a href="MSC.html">Message Sequence Charts</a><br />
- <a href="MIRA.aspects.html">Aspects</a><font color="#ff0000">New in 2.12</font></p>
+ <a href="MIRA.aspects.html">Aspects</a></p>
<p style="margin-left: 320px;"> </p>
</td>
<td align="center" valign="top"><br />
<img alt="" border="1" height="200" src="gettingStarted/img/sim.png" width="200" /><br />
- <p style="margin-left: 50px;"><a href="model_element_attributes.html">General structure of the graphical interface</a><br />
+ <p style="margin-left: 50px;"><a href="model_element_attributes.html">Introduction to Graphical Modeling Interface</a><br />
<a href="component_architecture.html">Logical (Software) Architecture Modeling</a><br />
- <a href="data_dictionary.html">Types and functions</a><br />
- Behaviour Modeling:<br />
+ <a href="data_dictionary.html">Types and Functions</a><br />
+ Behaviour Modeling<br />
<a href="code_specification.html"> - Code Specifications</a><br />
<a href="state_automaton.html"> - State Automata</a><br />
<a href="mode_automaton.html"> - Mode Automata</a><br />
- <a href="operatorpanels.html"> - Interaction with the environment</a><br />
+ <a href="operatorpanels.html"> - Interaction with the Environment</a><br />
<a href="simulation_with_af3.html">Simulation</a><br />
- <a href="cosimulation_with_af3.html">Cosimulation, FMI Support</a><font color="#ff0000"> </font><br />
+ <a href="cosimulation_with_af3.html">Co-Simulation and FMI Support</a><font color="#ff0000"> </font><br />
<a href="library.html">Libraries</a><br />
<a href="refinement.html">Refinement</a><br />
<a href="refactoring.html">Refactoring</a><br />
@@ -103,37 +102,40 @@ Getting started help page.
</tr>
<tr>
<td align="center" bgcolor="#c7d2dc" valign="middle">
- <h2>Code generation and deployment</h2>
+ <h2>Deployment and Code Generation</h2>
</td>
<td align="center" bgcolor="#c7d2dc" valign="middle">
- <h2>Testing and formal verification</h2>
+ <h2>Testing and Formal Verification</h2>
</td>
</tr>
<tr>
<td align="center" height="271" valign="top"><br />
<img alt="" border="1" height="200" hspace="80" src="gettingStarted/img/codedepl.png" width="200" /><br />
- <p style="margin-left: 50px;"><a href="platform_architecture.html">Hardware Architecture Modeling</a><br />
- <a href="code_generation.html">Code Generation</a><br />
- <a href="manual_deployment.html">Manual Deployment</a><br />
- <a href="dse_perspective.html">DSE Perspective (beta)</a></p>
+ <p style="margin-left: 50px;">Technical Architecture Modeling<br />
+ <a href="platform_architecture.html"> - Platform Architecture</a><br />
+ - Task Architecture<br />
+ - Partition Architecture<br />
+ <a href="manual_deployment.html"> - Deployments / Allocations</a><br />
+ <a href="dse_perspective.html">Design Space Exploration (DSE) Perspective</a><br/>
+ <a href="code_generation.html">Code Generation</a></p>
</td>
<td align="center" valign="top"><br />
<img alt="" border="1" height="200" hspace="80" src="gettingStarted/img/WAF3verification.png" width="200" /><br />
- <p style="margin-left: 50px;"><a href="model_markers_view.html">On the Fly Checks</a><br />
- <a href="mcdc.html">MCDC Test Case generation</a><br />
+ <p style="margin-left: 50px;"><a href="model_markers_view.html">On-the-fly Checks</a><br />
+ <a href="mcdc.html">MCDC Test Case Generation</a><br />
<a href="refinement_testing.html">Refinement Testing</a><br />
- <a href="non_determinism_analysis.html">Nondeterminism Analysis</a><br />
+ <a href="non_determinism_analysis.html">Non-Determinism Analysis</a><br />
<a href="reachability_analysis.html">Reachability Analysis</a><br />
- <a href="bound_check.html">Bound Check</a><br />
+ <a href="bound_check.html">Bound Checks</a><br />
<a href="model_checking_with_af3.html">Model Checking</a><br />
<a href="ocra_contracts.html">OCRA Contracts</a></p>
</td>
</tr>
<tr>
<td align="center" bgcolor="#c7d2dc" width="50%">
- <h2>Assurance Case Modelling</h2>
+ <h2>Assurance Case Modeling</h2>
</td>
<td align="center" bgcolor="#c7d2dc" width="50%">
<h2>FOCUSer - FOCUS procEss AwaReness</h2>
@@ -149,61 +151,37 @@ Getting started help page.
<td align="center" valign="top"><br />
<a href="process.html"><img alt="" border="1" height="200" hspace="80" src="./pictures/FOCUSER_requirements_process.png" width="200"/></a><br/>
<br />
- <p style="margin-left: 50px;"><a href="process.html">Introduction</a></p><br/>
+ <p style="margin-left: 50px;"><a href="process.html">Introduction</a><br/>
<a href="process_definition.html">Defining Processes</a><br/>
<a href="process_usage.html">Using Processes</a><br/>
- <a href="process_constraints.html">Existing Constraints</a><br/>
+ <a href="process_constraints.html">Supported Constraints</a><br/></p>
</td>
</tr>
</tbody>
</table>
-
- <p> </p>
</td>
</tr>
</tbody>
</table>
-
- <h2> </h2>
</td>
</tr>
</tbody>
</table>
<center>
- <p style="margin-left: 320px;">For more details see our <a href="http://af3.fortiss.org/learnaf3.html" target="_blank">screencasts </a></p>
+ <p style="text-align:center"><br/>For more details see our <a href="http://af3.fortiss.org/docs/screencasts/" target="_blank">screencasts</a> and <a href="http://af3.fortiss.org/docs/tutorials/" target="_blank">tutorials</a>.</p>
</center>
<!-- end .mainfeatures --></div>
</td>
</tr>
</tbody>
</table>
-<br />
-<br />
<!-- end #mainContent --></div>
<!-- start #footer -->
<div id="footer">
-<div class="div-table-partner">
-<div class="div-table-row-partner">
-<div class="div-table-col-partner"><a href="http://www4.in.tum.de/index.shtml" target="_blank"><img alt="" border="0" height="53" src="gettingStarted/img/infologo.jpg" width="54" /></a></div>
-
-<div class="div-table-col-partner"><a href="http://www.in.tum.de/" target="_blank"><img alt="" border="0" height="57" src="gettingStarted/img/infologo2.jpg" width="59" /></a></div>
-
-<div class="div-table-col-partner"><a href="http://portal.mytum.de/welcome/" target="_blank"><img alt="" border="0" height="49" src="gettingStarted/img/tumlogo.jpg" width="68" /></a></div>
-
-<div class="div-table-col-partner"><a href="http://www.fortiss.org/" target="_blank"><img alt="" border="0" height="50" src="gettingStarted/img/fortisslogo.jpg" width="101" /></a></div>
-</div>
-</div>
-
-<div class="div-table-copyright">
-<div class="div-table-row-copyright">
-<div align="center" class="div-table-col-copyright">
-<h2>Copy Rights AutoFOCUS3 All Rights Reserved</h2>
-</div>
-</div>
-</div>
+<p style="text-align:center">© 2019 <a href="https://www.fortiss.org/">fortiss GmbH</a> - Research Institute of the Free State of Bavaria associated with <a href="https://www.tum.de/">Technical University of Munich</a></p>
<!-- end #footer --></div>
<!-- end #container --></div>
</body>
-</html>
+</html>
\ No newline at end of file
diff --git a/org.fortiss.af3.rcp.application/html/model_element_attributes.html b/org.fortiss.af3.rcp.application/html/model_element_attributes.html
index 627723b..b9b78c8 100644
--- a/org.fortiss.af3.rcp.application/html/model_element_attributes.html
+++ b/org.fortiss.af3.rcp.application/html/model_element_attributes.html
@@ -14,7 +14,7 @@
</head>
<body>
-<h2><u><font color="#336699">General structure of the graphical interface</font></u></h2>
+<h2><u><font color="#336699">Introduction to Graphical Modeling Interface</font></u></h2>
<p>The graphical interface provides three different entry points for modelling:</p>
--
GitLab