Skip to content

Commit 5680c0f

Browse files
rudirudi
committed
Deploy: reorder workshops to MRU
1 parent cf10bcd commit 5680c0f

File tree

33 files changed

+540
-536
lines changed

33 files changed

+540
-536
lines changed

‎404.html‎

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -17,17 +17,17 @@
1717
<meta itemprop="name" content="404 Page not found :: The ABS Modeling Language">
1818
<title>404 Page not found :: The ABS Modeling Language</title>
1919
<base href="https://abs-models.org/">
20-
<link href="/fonts/fontawesome/css/fontawesome-all.min.css?1743596445" rel="stylesheet" media="print" onload="this.media='all';this.onload=null;"><noscript><link href="/fonts/fontawesome/css/fontawesome-all.min.css?1743596445" rel="stylesheet"></noscript>
21-
<link href="/css/perfect-scrollbar/perfect-scrollbar.min.css?1743596445" rel="stylesheet">
22-
<link href="/css/theme.min.css?1743596445" rel="stylesheet">
23-
<link href="/css/format-html.min.css?1743596445" rel="stylesheet" id="R-format-style">
24-
<link href="/css/auto-complete/auto-complete.min.css?1743596445" rel="stylesheet">
25-
<script src="/js/auto-complete/auto-complete.min.js?1743596445" defer></script>
26-
<script src="/js/lunr/lunr.min.js?1743596445" defer></script>
27-
<script src="/js/lunr/lunr.stemmer.support.min.js?1743596445" defer></script>
28-
<script src="/js/lunr/lunr.multi.min.js?1743596445" defer></script>
29-
<script src="/js/lunr/lunr.en.min.js?1743596445" defer></script>
30-
<script src="/js/search.min.js?1743596445" defer></script>
20+
<link href="/fonts/fontawesome/css/fontawesome-all.min.css?1743681549" rel="stylesheet" media="print" onload="this.media='all';this.onload=null;"><noscript><link href="/fonts/fontawesome/css/fontawesome-all.min.css?1743681549" rel="stylesheet"></noscript>
21+
<link href="/css/perfect-scrollbar/perfect-scrollbar.min.css?1743681549" rel="stylesheet">
22+
<link href="/css/theme.min.css?1743681549" rel="stylesheet">
23+
<link href="/css/format-html.min.css?1743681549" rel="stylesheet" id="R-format-style">
24+
<link href="/css/auto-complete/auto-complete.min.css?1743681549" rel="stylesheet">
25+
<script src="/js/auto-complete/auto-complete.min.js?1743681549" defer></script>
26+
<script src="/js/lunr/lunr.min.js?1743681549" defer></script>
27+
<script src="/js/lunr/lunr.stemmer.support.min.js?1743681549" defer></script>
28+
<script src="/js/lunr/lunr.multi.min.js?1743681549" defer></script>
29+
<script src="/js/lunr/lunr.en.min.js?1743681549" defer></script>
30+
<script src="/js/search.min.js?1743681549" defer></script>
3131
<script>
3232
window.relearn = window.relearn || {};
3333
// configuration
@@ -36,7 +36,7 @@
3636
window.relearn.relBaseUri='.';
3737
window.relearn.absBaseUri='https:\/\/abs-models.org';
3838
window.relearn.contentLangs=['en'];
39-
window.relearn.index_js_url="/searchindex.en.js?1743596445";
39+
window.relearn.index_js_url="/searchindex.en.js?1743681549";
4040
window.relearn.disableAnchorCopy=false;
4141
window.relearn.disableAnchorScrolling=false;
4242
window.relearn.disableInlineCopyToClipboard=false;

‎acknowledgments/index.html‎

Lines changed: 20 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -27,17 +27,17 @@
2727
<meta itemprop="wordCount" content="179">
2828
<title>Acknowledgments :: The ABS Modeling Language</title>
2929
<link href="/acknowledgments/index.xml" rel="alternate" type="application/rss+xml" title="Acknowledgments :: The ABS Modeling Language">
30-
<link href="/fonts/fontawesome/css/fontawesome-all.min.css?1743596445" rel="stylesheet" media="print" onload="this.media='all';this.onload=null;"><noscript><link href="/fonts/fontawesome/css/fontawesome-all.min.css?1743596445" rel="stylesheet"></noscript>
31-
<link href="/css/perfect-scrollbar/perfect-scrollbar.min.css?1743596445" rel="stylesheet">
32-
<link href="/css/theme.min.css?1743596445" rel="stylesheet">
33-
<link href="/css/format-html.min.css?1743596445" rel="stylesheet" id="R-format-style">
34-
<link href="/css/auto-complete/auto-complete.min.css?1743596445" rel="stylesheet">
35-
<script src="/js/auto-complete/auto-complete.min.js?1743596445" defer></script>
36-
<script src="/js/lunr/lunr.min.js?1743596445" defer></script>
37-
<script src="/js/lunr/lunr.stemmer.support.min.js?1743596445" defer></script>
38-
<script src="/js/lunr/lunr.multi.min.js?1743596445" defer></script>
39-
<script src="/js/lunr/lunr.en.min.js?1743596445" defer></script>
40-
<script src="/js/search.min.js?1743596445" defer></script>
30+
<link href="/fonts/fontawesome/css/fontawesome-all.min.css?1743681549" rel="stylesheet" media="print" onload="this.media='all';this.onload=null;"><noscript><link href="/fonts/fontawesome/css/fontawesome-all.min.css?1743681549" rel="stylesheet"></noscript>
31+
<link href="/css/perfect-scrollbar/perfect-scrollbar.min.css?1743681549" rel="stylesheet">
32+
<link href="/css/theme.min.css?1743681549" rel="stylesheet">
33+
<link href="/css/format-html.min.css?1743681549" rel="stylesheet" id="R-format-style">
34+
<link href="/css/auto-complete/auto-complete.min.css?1743681549" rel="stylesheet">
35+
<script src="/js/auto-complete/auto-complete.min.js?1743681549" defer></script>
36+
<script src="/js/lunr/lunr.min.js?1743681549" defer></script>
37+
<script src="/js/lunr/lunr.stemmer.support.min.js?1743681549" defer></script>
38+
<script src="/js/lunr/lunr.multi.min.js?1743681549" defer></script>
39+
<script src="/js/lunr/lunr.en.min.js?1743681549" defer></script>
40+
<script src="/js/search.min.js?1743681549" defer></script>
4141
<script>
4242
window.relearn = window.relearn || {};
4343
// configuration
@@ -46,7 +46,7 @@
4646
window.relearn.relBaseUri='..';
4747
window.relearn.absBaseUri='https:\/\/abs-models.org';
4848
window.relearn.contentLangs=['en'];
49-
window.relearn.index_js_url="/searchindex.en.js?1743596445";
49+
window.relearn.index_js_url="/searchindex.en.js?1743681549";
5050
window.relearn.disableAnchorCopy=false;
5151
window.relearn.disableAnchorScrolling=false;
5252
window.relearn.disableInlineCopyToClipboard=false;
@@ -144,11 +144,11 @@ <h1 id="acknowledgments">Acknowledgments</h1>
144144

145145
<h2 id="projects">Projects</h2>
146146
<p>The development of the ABS language and tools has been supported by a number of research projects supported by the European Commission and the Research Council of Norway:</p>
147-
<p><a href="#R-image-dfeb4aeece619d6037a8aa4cdcd3f593" class="lightbox-link"><img alt="HATS" class="lazy lightbox figure-image" loading="lazy" src="/images/hats-logo.jpg?width=5pc" style=" height: auto; width: 5pc;"></a>
148-
<a href="javascript:history.back();" class="lightbox-back" id="R-image-dfeb4aeece619d6037a8aa4cdcd3f593"><img alt="HATS" class="lazy lightbox lightbox-image" loading="lazy" src="/images/hats-logo.jpg?width=5pc"></a><a href="#R-image-3b09157ba67827b6006bf631580ee54e" class="lightbox-link"><img alt="Envisage" class="lazy lightbox figure-image" loading="lazy" src="/images/envisage-logo.jpg?width=5pc" style=" height: auto; width: 5pc;"></a>
149-
<a href="javascript:history.back();" class="lightbox-back" id="R-image-3b09157ba67827b6006bf631580ee54e"><img alt="Envisage" class="lazy lightbox lightbox-image" loading="lazy" src="/images/envisage-logo.jpg?width=5pc"></a><a href="#R-image-cf9ce1042b60604eb52710d782ad8b5f" class="lightbox-link"><img alt="HyVar" class="lazy lightbox figure-image" loading="lazy" src="/images/hyvar-logo.png?width=5pc" style=" height: auto; width: 5pc;"></a>
150-
<a href="javascript:history.back();" class="lightbox-back" id="R-image-cf9ce1042b60604eb52710d782ad8b5f"><img alt="HyVar" class="lazy lightbox lightbox-image" loading="lazy" src="/images/hyvar-logo.png?width=5pc"></a><a href="#R-image-18c74b35ecbd9e0bf1583a0d1ba2670c" class="lightbox-link"><img alt="Sirius" class="lazy lightbox figure-image" loading="lazy" src="/images/sirius-logo.png?width=5pc" style=" height: auto; width: 5pc;"></a>
151-
<a href="javascript:history.back();" class="lightbox-back" id="R-image-18c74b35ecbd9e0bf1583a0d1ba2670c"><img alt="Sirius" class="lazy lightbox lightbox-image" loading="lazy" src="/images/sirius-logo.png?width=5pc"></a></p>
147+
<p><a href="#R-image-d3ca948c09cbd4951aed2d2afead5792" class="lightbox-link"><img alt="HATS" class="lazy lightbox figure-image" loading="lazy" src="/images/hats-logo.jpg?width=5pc" style=" height: auto; width: 5pc;"></a>
148+
<a href="javascript:history.back();" class="lightbox-back" id="R-image-d3ca948c09cbd4951aed2d2afead5792"><img alt="HATS" class="lazy lightbox lightbox-image" loading="lazy" src="/images/hats-logo.jpg?width=5pc"></a><a href="#R-image-197441c19ff26394fd590af71c78fc97" class="lightbox-link"><img alt="Envisage" class="lazy lightbox figure-image" loading="lazy" src="/images/envisage-logo.jpg?width=5pc" style=" height: auto; width: 5pc;"></a>
149+
<a href="javascript:history.back();" class="lightbox-back" id="R-image-197441c19ff26394fd590af71c78fc97"><img alt="Envisage" class="lazy lightbox lightbox-image" loading="lazy" src="/images/envisage-logo.jpg?width=5pc"></a><a href="#R-image-996590e25554c2521afce02efd987a28" class="lightbox-link"><img alt="HyVar" class="lazy lightbox figure-image" loading="lazy" src="/images/hyvar-logo.png?width=5pc" style=" height: auto; width: 5pc;"></a>
150+
<a href="javascript:history.back();" class="lightbox-back" id="R-image-996590e25554c2521afce02efd987a28"><img alt="HyVar" class="lazy lightbox lightbox-image" loading="lazy" src="/images/hyvar-logo.png?width=5pc"></a><a href="#R-image-982eeebe3e362acc80f40142a2b9d1ea" class="lightbox-link"><img alt="Sirius" class="lazy lightbox figure-image" loading="lazy" src="/images/sirius-logo.png?width=5pc" style=" height: auto; width: 5pc;"></a>
151+
<a href="javascript:history.back();" class="lightbox-back" id="R-image-982eeebe3e362acc80f40142a2b9d1ea"><img alt="Sirius" class="lazy lightbox lightbox-image" loading="lazy" src="/images/sirius-logo.png?width=5pc"></a></p>
152152
<ul>
153153
<li><a href="https://web.archive.org/web/20181127101833/http://www.hats-project.eu/" rel="external" target="_blank">HATS</a>: Highly Adaptive and Trustworthy Software using Formal Methods</li>
154154
<li><a href="http://envisage-project.eu" rel="external" target="_blank">Envisage</a>: Engineering Virtualized Services</li>
@@ -305,9 +305,9 @@ <h2 id="contributors">Contributors</h2>
305305
</div>
306306
</div>
307307
</aside>
308-
<script src="/js/clipboard/clipboard.min.js?1743596445" defer></script>
309-
<script src="/js/perfect-scrollbar/perfect-scrollbar.min.js?1743596445" defer></script>
310-
<script src="/js/theme.min.js?1743596445" defer></script><script type="text/javascript" src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
308+
<script src="/js/clipboard/clipboard.min.js?1743681549" defer></script>
309+
<script src="/js/perfect-scrollbar/perfect-scrollbar.min.js?1743681549" defer></script>
310+
<script src="/js/theme.min.js?1743681549" defer></script><script type="text/javascript" src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
311311
</script>
312312

313313

‎categories/index.html‎

Lines changed: 15 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -17,17 +17,17 @@
1717
<meta itemprop="name" content="Categories :: The ABS Modeling Language">
1818
<title>Categories :: The ABS Modeling Language</title>
1919
<link href="/categories/index.xml" rel="alternate" type="application/rss+xml" title="Categories :: The ABS Modeling Language">
20-
<link href="/fonts/fontawesome/css/fontawesome-all.min.css?1743596445" rel="stylesheet" media="print" onload="this.media='all';this.onload=null;"><noscript><link href="/fonts/fontawesome/css/fontawesome-all.min.css?1743596445" rel="stylesheet"></noscript>
21-
<link href="/css/perfect-scrollbar/perfect-scrollbar.min.css?1743596445" rel="stylesheet">
22-
<link href="/css/theme.min.css?1743596445" rel="stylesheet">
23-
<link href="/css/format-html.min.css?1743596445" rel="stylesheet" id="R-format-style">
24-
<link href="/css/auto-complete/auto-complete.min.css?1743596445" rel="stylesheet">
25-
<script src="/js/auto-complete/auto-complete.min.js?1743596445" defer></script>
26-
<script src="/js/lunr/lunr.min.js?1743596445" defer></script>
27-
<script src="/js/lunr/lunr.stemmer.support.min.js?1743596445" defer></script>
28-
<script src="/js/lunr/lunr.multi.min.js?1743596445" defer></script>
29-
<script src="/js/lunr/lunr.en.min.js?1743596445" defer></script>
30-
<script src="/js/search.min.js?1743596445" defer></script>
20+
<link href="/fonts/fontawesome/css/fontawesome-all.min.css?1743681549" rel="stylesheet" media="print" onload="this.media='all';this.onload=null;"><noscript><link href="/fonts/fontawesome/css/fontawesome-all.min.css?1743681549" rel="stylesheet"></noscript>
21+
<link href="/css/perfect-scrollbar/perfect-scrollbar.min.css?1743681549" rel="stylesheet">
22+
<link href="/css/theme.min.css?1743681549" rel="stylesheet">
23+
<link href="/css/format-html.min.css?1743681549" rel="stylesheet" id="R-format-style">
24+
<link href="/css/auto-complete/auto-complete.min.css?1743681549" rel="stylesheet">
25+
<script src="/js/auto-complete/auto-complete.min.js?1743681549" defer></script>
26+
<script src="/js/lunr/lunr.min.js?1743681549" defer></script>
27+
<script src="/js/lunr/lunr.stemmer.support.min.js?1743681549" defer></script>
28+
<script src="/js/lunr/lunr.multi.min.js?1743681549" defer></script>
29+
<script src="/js/lunr/lunr.en.min.js?1743681549" defer></script>
30+
<script src="/js/search.min.js?1743681549" defer></script>
3131
<script>
3232
window.relearn = window.relearn || {};
3333
// configuration
@@ -36,7 +36,7 @@
3636
window.relearn.relBaseUri='..';
3737
window.relearn.absBaseUri='https:\/\/abs-models.org';
3838
window.relearn.contentLangs=['en'];
39-
window.relearn.index_js_url="/searchindex.en.js?1743596445";
39+
window.relearn.index_js_url="/searchindex.en.js?1743681549";
4040
window.relearn.disableAnchorCopy=false;
4141
window.relearn.disableAnchorScrolling=false;
4242
window.relearn.disableInlineCopyToClipboard=false;
@@ -221,9 +221,9 @@ <h1 id="categories">Categories</h1>
221221
</div>
222222
</div>
223223
</aside>
224-
<script src="/js/clipboard/clipboard.min.js?1743596445" defer></script>
225-
<script src="/js/perfect-scrollbar/perfect-scrollbar.min.js?1743596445" defer></script>
226-
<script src="/js/theme.min.js?1743596445" defer></script><script type="text/javascript" src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
224+
<script src="/js/clipboard/clipboard.min.js?1743681549" defer></script>
225+
<script src="/js/perfect-scrollbar/perfect-scrollbar.min.js?1743681549" defer></script>
226+
<script src="/js/theme.min.js?1743681549" defer></script><script type="text/javascript" src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
227227
</script>
228228

229229

‎contact/index.html‎

Lines changed: 15 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -31,17 +31,17 @@
3131
<meta itemprop="wordCount" content="54">
3232
<title>Contact :: The ABS Modeling Language</title>
3333
<link href="/contact/index.xml" rel="alternate" type="application/rss+xml" title="Contact :: The ABS Modeling Language">
34-
<link href="/fonts/fontawesome/css/fontawesome-all.min.css?1743596445" rel="stylesheet" media="print" onload="this.media='all';this.onload=null;"><noscript><link href="/fonts/fontawesome/css/fontawesome-all.min.css?1743596445" rel="stylesheet"></noscript>
35-
<link href="/css/perfect-scrollbar/perfect-scrollbar.min.css?1743596445" rel="stylesheet">
36-
<link href="/css/theme.min.css?1743596445" rel="stylesheet">
37-
<link href="/css/format-html.min.css?1743596445" rel="stylesheet" id="R-format-style">
38-
<link href="/css/auto-complete/auto-complete.min.css?1743596445" rel="stylesheet">
39-
<script src="/js/auto-complete/auto-complete.min.js?1743596445" defer></script>
40-
<script src="/js/lunr/lunr.min.js?1743596445" defer></script>
41-
<script src="/js/lunr/lunr.stemmer.support.min.js?1743596445" defer></script>
42-
<script src="/js/lunr/lunr.multi.min.js?1743596445" defer></script>
43-
<script src="/js/lunr/lunr.en.min.js?1743596445" defer></script>
44-
<script src="/js/search.min.js?1743596445" defer></script>
34+
<link href="/fonts/fontawesome/css/fontawesome-all.min.css?1743681549" rel="stylesheet" media="print" onload="this.media='all';this.onload=null;"><noscript><link href="/fonts/fontawesome/css/fontawesome-all.min.css?1743681549" rel="stylesheet"></noscript>
35+
<link href="/css/perfect-scrollbar/perfect-scrollbar.min.css?1743681549" rel="stylesheet">
36+
<link href="/css/theme.min.css?1743681549" rel="stylesheet">
37+
<link href="/css/format-html.min.css?1743681549" rel="stylesheet" id="R-format-style">
38+
<link href="/css/auto-complete/auto-complete.min.css?1743681549" rel="stylesheet">
39+
<script src="/js/auto-complete/auto-complete.min.js?1743681549" defer></script>
40+
<script src="/js/lunr/lunr.min.js?1743681549" defer></script>
41+
<script src="/js/lunr/lunr.stemmer.support.min.js?1743681549" defer></script>
42+
<script src="/js/lunr/lunr.multi.min.js?1743681549" defer></script>
43+
<script src="/js/lunr/lunr.en.min.js?1743681549" defer></script>
44+
<script src="/js/search.min.js?1743681549" defer></script>
4545
<script>
4646
window.relearn = window.relearn || {};
4747
// configuration
@@ -50,7 +50,7 @@
5050
window.relearn.relBaseUri='..';
5151
window.relearn.absBaseUri='https:\/\/abs-models.org';
5252
window.relearn.contentLangs=['en'];
53-
window.relearn.index_js_url="/searchindex.en.js?1743596445";
53+
window.relearn.index_js_url="/searchindex.en.js?1743681549";
5454
window.relearn.disableAnchorCopy=false;
5555
window.relearn.disableAnchorScrolling=false;
5656
window.relearn.disableInlineCopyToClipboard=false;
@@ -246,9 +246,9 @@ <h1 id="contact">Contact</h1>
246246
</div>
247247
</div>
248248
</aside>
249-
<script src="/js/clipboard/clipboard.min.js?1743596445" defer></script>
250-
<script src="/js/perfect-scrollbar/perfect-scrollbar.min.js?1743596445" defer></script>
251-
<script src="/js/theme.min.js?1743596445" defer></script><script type="text/javascript" src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
249+
<script src="/js/clipboard/clipboard.min.js?1743681549" defer></script>
250+
<script src="/js/perfect-scrollbar/perfect-scrollbar.min.js?1743681549" defer></script>
251+
<script src="/js/theme.min.js?1743681549" defer></script><script type="text/javascript" src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
252252
</script>
253253

254254

0 commit comments

Comments
 (0)