From 0f96020f0d7cca1fbd75c634438e8bc815ce3313 Mon Sep 17 00:00:00 2001 From: GitHub Action Date: Wed, 6 Jul 2022 11:16:24 +0000 Subject: [PATCH] Deployed 4dd247b to master with MkDocs 1.2.4 and mike 1.1.2 --- master/404.html | 45 +- master/CHANGELOG/index.html | 140 +-- master/aeso_aci/index.html | 238 ++--- master/aeso_compiler/index.html | 84 +- .../assets/javascripts/bundle.82b56eb2.min.js | 29 - .../javascripts/bundle.82b56eb2.min.js.map | 7 - .../assets/javascripts/bundle.b1047164.min.js | 29 + .../javascripts/bundle.b1047164.min.js.map | 7 + ...477d984a.min.js => search.fcfe8b6d.min.js} | 18 +- ....min.js.map => search.fcfe8b6d.min.js.map} | 4 +- .../assets/stylesheets/main.a57b2b03.min.css | 2 + .../stylesheets/main.a57b2b03.min.css.map | 1 + .../assets/stylesheets/main.ca7ac06f.min.css | 2 - .../stylesheets/main.ca7ac06f.min.css.map | 1 - ...3b89f.min.css => palette.3f5d1f46.min.css} | 4 +- .../stylesheets/palette.3f5d1f46.min.css.map | 1 + .../stylesheets/palette.f1a3b89f.min.css.map | 1 - master/index.html | 47 +- master/search/search_index.json | 2 +- master/sitemap.xml | 18 +- master/sitemap.xml.gz | Bin 203 -> 202 bytes master/sophia/index.html | 45 +- master/sophia_examples/index.html | 167 ++-- master/sophia_features/index.html | 528 ++++++----- master/sophia_stdlib/index.html | 872 ++++++++++++------ master/sophia_syntax/index.html | 283 +++--- 26 files changed, 1534 insertions(+), 1041 deletions(-) delete mode 100644 master/assets/javascripts/bundle.82b56eb2.min.js delete mode 100644 master/assets/javascripts/bundle.82b56eb2.min.js.map create mode 100644 master/assets/javascripts/bundle.b1047164.min.js create mode 100644 master/assets/javascripts/bundle.b1047164.min.js.map rename master/assets/javascripts/workers/{search.477d984a.min.js => search.fcfe8b6d.min.js} (71%) rename master/assets/javascripts/workers/{search.477d984a.min.js.map => search.fcfe8b6d.min.js.map} (83%) create mode 100644 master/assets/stylesheets/main.a57b2b03.min.css create mode 100644 master/assets/stylesheets/main.a57b2b03.min.css.map delete mode 100644 master/assets/stylesheets/main.ca7ac06f.min.css delete mode 100644 master/assets/stylesheets/main.ca7ac06f.min.css.map rename master/assets/stylesheets/{palette.f1a3b89f.min.css => palette.3f5d1f46.min.css} (67%) create mode 100644 master/assets/stylesheets/palette.3f5d1f46.min.css.map delete mode 100644 master/assets/stylesheets/palette.f1a3b89f.min.css.map diff --git a/master/404.html b/master/404.html index 6f93357..b5cef44 100644 --- a/master/404.html +++ b/master/404.html @@ -10,7 +10,7 @@ - + @@ -18,10 +18,10 @@ - + - + @@ -69,7 +69,9 @@ -
+ + +
+
+ +
@@ -327,10 +342,12 @@ -
+ + +
+
+ +
@@ -317,6 +332,8 @@ + +