From 91371238ee1cde4f3ed5c2bf23c6da8e10b3c7b4 Mon Sep 17 00:00:00 2001 From: Guillaume Claret Date: Mon, 8 Apr 2024 15:13:52 +0200 Subject: [PATCH] Deploy website - based on 088803a388cc83f6d228e776374aa37e10784ef9 --- 404.html | 4 +- ...ting-f36e8deddc2796becd1a08b70a58e607.webp | Bin 189538 -> 0 bytes ...13650.a80315ba.js => 02e13650.19c1d091.js} | 2 +- ...c0ba4.29a4c874.js => 2adc0ba4.bc87328a.js} | 2 +- ...2dfb9.1d8307df.js => 2d92dfb9.405f03df.js} | 2 +- ...b36bb.8595c7a8.js => 36cb36bb.643a4386.js} | 2 +- ...5438f.8862bcb4.js => 40a5438f.0204a87e.js} | 2 +- ...d8f7d.1a003100.js => 523d8f7d.0df570e1.js} | 2 +- ...1f05d.92da3d07.js => 54a1f05d.d2fade5e.js} | 2 +- ...84e71.94bc518b.js => 72c84e71.2f8499cf.js} | 2 +- ...c59ef.e7a7c663.js => 76bc59ef.29b544e9.js} | 2 +- ...fea77.0524c88f.js => 7c0fea77.e01b9af4.js} | 2 +- assets/js/814f3328.aa03d63d.js | 1 + assets/js/814f3328.eb753020.js | 1 - ...fe8c4.312d288e.js => 834fe8c4.93b4249e.js} | 2 +- assets/js/8e0f4841.570b7238.js | 1 - ...4e46b.3c387ee7.js => 8eb4e46b.97b20df0.js} | 2 +- ...99a1c.4ceae39a.js => 92999a1c.49a30af3.js} | 2 +- assets/js/a06ffc17.0a75e123.js | 1 - ...7f2f4.6cb0b72e.js => a5d7f2f4.bed96a4a.js} | 2 +- ...23ddc.f8a97f90.js => a7023ddc.7442b0c2.js} | 2 +- ...ac7dd.0f11225e.js => a7cac7dd.e5241e69.js} | 2 +- ...675dd.13640269.js => b2b675dd.d76e31a3.js} | 2 +- assets/js/b2f554cd.52e7e1f5.js | 1 + assets/js/b2f554cd.afac419d.js | 1 - ...5990b.524e58e1.js => b985990b.ca00dab6.js} | 2 +- ...7c199.eadbbae6.js => bdf7c199.28fafca5.js} | 2 +- ...b5c8c.76d87a8a.js => c9eb5c8c.97d6e738.js} | 2 +- ...855a0.92f794c5.js => cec855a0.e5a5a6ee.js} | 2 +- ...d20aa.c010d6e5.js => cf3d20aa.de659684.js} | 2 +- assets/js/main.6fc071ac.js | 2 - assets/js/main.c5237d9c.js | 2 + ...CENSE.txt => main.c5237d9c.js.LICENSE.txt} | 0 assets/js/runtime~main.646fe817.js | 1 + assets/js/runtime~main.acc3d8ac.js | 1 - blog.html | 10 +- blog/2021/10/10/welcome.html | 6 +- .../10/27/verification-data-encoding.html | 6 +- .../11/12/new-blog-posts-and-meetup-talk.html | 6 +- ...make-tezos-a-formally-verified-crypto.html | 6 +- blog/2022/06/15/status update-tezos.html | 6 +- .../2022/06/23/upgrade-coq-of-ocaml-4.14.html | 6 +- .../12/13/latest-blog-posts-on-tezos.html | 6 +- .../01/24/current-verification-efforts.html | 6 +- ...representation-of-rust-methods-in-coq.html | 6 +- .../05/28/monad-for-side-effects-in-rust.html | 6 +- .../08/25/trait-representation-in-coq.html | 6 +- .../11/08/rust-thir-and-bundled-traits.html | 6 +- blog/2023/11/26/rust-function-body.html | 6 +- .../13/rust-verify-erc-20-smart-contract.html | 6 +- blog/2024/01/04/rust-translating-match.html | 8 +- blog/2024/01/18/update-coq-of-rust.html | 6 +- .../formal-verification-for-aleph-zero.html | 6 +- blog/2024/02/14/experiment-coq-of-hs.html | 6 +- blog/2024/02/22/journey-coq-of-go.html | 6 +- .../02/29/improvements-rust-translation.html | 6 +- .../improvements-rust-translation-part-2.html | 6 +- .../improvements-rust-translation-part-3.html | 8 +- ...monadic-notation-for-rust-translation.html | 57 - blog/archive.html | 6 +- blog/atom.xml | 64 +- blog/page/2.html | 16 +- blog/page/3.html | 11 +- blog/rss.xml | 64 +- blog/tags.html | 6 +- blog/tags/4-14.html | 6 +- blog/tags/aleph-zero.html | 6 +- blog/tags/coq-of-go.html | 6 +- blog/tags/coq-of-hs.html | 6 +- blog/tags/coq-of-ocaml.html | 6 +- blog/tags/coq-of-rust.html | 11 +- blog/tags/coq-of-rust/page/2.html | 8 +- blog/tags/coq-tezos-of-ocaml.html | 6 +- blog/tags/coq.html | 16 +- blog/tags/coq/page/2.html | 13 +- blog/tags/data-encoding.html | 6 +- blog/tags/erc-20.html | 6 +- blog/tags/go.html | 6 +- blog/tags/haskell.html | 6 +- blog/tags/hir.html | 6 +- blog/tags/ink.html | 6 +- blog/tags/meetup.html | 6 +- blog/tags/mi-cho-coq.html | 6 +- blog/tags/monad.html | 9 +- blog/tags/o-caml.html | 6 +- blog/tags/ocaml.html | 6 +- blog/tags/rust.html | 11 +- blog/tags/rust/page/2.html | 8 +- blog/tags/side-effects.html | 6 +- blog/tags/solidity.html | 6 +- blog/tags/tezos.html | 6 +- blog/tags/thir.html | 6 +- blog/tags/trait.html | 6 +- blog/tags/translation.html | 9 +- blog/tags/type-script.html | 6 +- blog/tags/welcome.html | 6 +- docs/company/about.html | 4 +- docs/company/careers.html | 4 +- docs/company/claims.html | 4 +- docs/company/intro.html | 4 +- docs/company/press.html | 4 +- docs/coq-of-ocaml/attributes.html | 4 +- docs/coq-of-ocaml/configuration.html | 4 +- docs/coq-of-ocaml/cookbook.html | 4 +- docs/coq-of-ocaml/examples.html | 4 +- docs/coq-of-ocaml/faq.html | 4 +- docs/coq-of-ocaml/gadts.html | 4 +- docs/coq-of-ocaml/install.html | 4 +- docs/coq-of-ocaml/introduction.html | 4 +- docs/coq-of-ocaml/module-system.html | 4 +- docs/coq-of-ocaml/ocaml-core.html | 4 +- docs/coq-of-ocaml/run.html | 4 +- docs/coq-of-ocaml/type-definitions.html | 4 +- docs/coq-of-rust/introduction.html | 4 +- docs/services/ocaml-development.html | 4 +- docs/services/rust-development.html | 4 +- docs/services/solidity-development.html | 4 +- docs/services/typescript-development.html | 4 +- docs/verification/ocaml.html | 4 +- docs/verification/rust.html | 4 +- docs/verification/solidity.html | 4 +- docs/verification/typescript.html | 4 +- index.html | 4 +- lunch-rs-presentation/index.html | 2 +- rust-workshop-etaps-2024/CONTRIBUTING.md | 23 + rust-workshop-etaps-2024/LICENSE | 19 + rust-workshop-etaps-2024/css/layout.scss | 69 + rust-workshop-etaps-2024/css/print/paper.scss | 173 + rust-workshop-etaps-2024/css/print/pdf.scss | 156 + rust-workshop-etaps-2024/css/reveal.scss | 1821 ++ .../css/theme/source/beige.scss | 41 + .../css/theme/source/black.scss | 46 + .../css/theme/source/blood.scss | 87 + .../css/theme/source/league.scss | 36 + .../css/theme/source/moon.scss | 58 + .../css/theme/source/night.scss | 37 + .../css/theme/source/serif.scss | 38 + .../css/theme/source/simple.scss | 40 + .../css/theme/source/sky.scss | 49 + .../css/theme/source/solarized.scss | 63 + .../css/theme/source/white.scss | 46 + .../css/theme/template/exposer.scss | 28 + .../css/theme/template/mixins.scss | 45 + .../css/theme/template/settings.scss | 45 + .../css/theme/template/theme.scss | 331 + rust-workshop-etaps-2024/dist/reset.css | 30 + rust-workshop-etaps-2024/dist/reveal.css | 8 + rust-workshop-etaps-2024/dist/reveal.esm.js | 9 + rust-workshop-etaps-2024/dist/reveal.js | 9 + rust-workshop-etaps-2024/dist/theme/beige.css | 364 + rust-workshop-etaps-2024/dist/theme/black.css | 357 + rust-workshop-etaps-2024/dist/theme/blood.css | 390 + .../dist/theme/fonts/league-gothic/LICENSE | 2 + .../fonts/league-gothic/league-gothic.css | 10 + .../fonts/league-gothic/league-gothic.eot | Bin 0 -> 25696 bytes .../fonts/league-gothic/league-gothic.ttf | Bin 0 -> 64256 bytes .../fonts/league-gothic/league-gothic.woff | Bin 0 -> 30764 bytes .../dist/theme/fonts/source-sans-pro/LICENSE | 45 + .../source-sans-pro-italic.eot | Bin 0 -> 75720 bytes .../source-sans-pro-italic.ttf | Bin 0 -> 238084 bytes .../source-sans-pro-italic.woff | Bin 0 -> 98556 bytes .../source-sans-pro-regular.eot | Bin 0 -> 88070 bytes .../source-sans-pro-regular.ttf | Bin 0 -> 288008 bytes .../source-sans-pro-regular.woff | Bin 0 -> 114324 bytes .../source-sans-pro-semibold.eot | Bin 0 -> 89897 bytes .../source-sans-pro-semibold.ttf | Bin 0 -> 284640 bytes .../source-sans-pro-semibold.woff | Bin 0 -> 115648 bytes .../source-sans-pro-semibolditalic.eot | Bin 0 -> 75706 bytes .../source-sans-pro-semibolditalic.ttf | Bin 0 -> 240944 bytes .../source-sans-pro-semibolditalic.woff | Bin 0 -> 98816 bytes .../fonts/source-sans-pro/source-sans-pro.css | 39 + .../dist/theme/league.css | 366 + rust-workshop-etaps-2024/dist/theme/moon.css | 365 + rust-workshop-etaps-2024/dist/theme/night.css | 358 + rust-workshop-etaps-2024/dist/theme/serif.css | 361 + .../dist/theme/simple.css | 360 + rust-workshop-etaps-2024/dist/theme/sky.css | 368 + .../dist/theme/solarized.css | 361 + rust-workshop-etaps-2024/dist/theme/white.css | 357 + rust-workshop-etaps-2024/get_at_index.png | Bin 0 -> 97992 bytes rust-workshop-etaps-2024/gulpfile.js | 314 + rust-workshop-etaps-2024/index.html | 157 + .../js/components/playback.js | 165 + rust-workshop-etaps-2024/js/config.js | 293 + .../js/controllers/autoanimate.js | 626 + .../js/controllers/backgrounds.js | 397 + .../js/controllers/controls.js | 259 + .../js/controllers/focus.js | 97 + .../js/controllers/fragments.js | 376 + .../js/controllers/keyboard.js | 392 + .../js/controllers/location.js | 209 + .../js/controllers/notes.js | 114 + .../js/controllers/overview.js | 255 + .../js/controllers/plugins.js | 241 + .../js/controllers/pointer.js | 118 + .../js/controllers/print.js | 212 + .../js/controllers/progress.js | 105 + .../js/controllers/slidecontent.js | 474 + .../js/controllers/slidenumber.js | 126 + .../js/controllers/touch.js | 263 + rust-workshop-etaps-2024/js/index.js | 58 + rust-workshop-etaps-2024/js/reveal.js | 2659 +++ rust-workshop-etaps-2024/js/utils/color.js | 77 + .../js/utils/constants.js | 10 + rust-workshop-etaps-2024/js/utils/device.js | 15 + rust-workshop-etaps-2024/js/utils/loader.js | 46 + rust-workshop-etaps-2024/js/utils/util.js | 282 + rust-workshop-etaps-2024/package-lock.json | 17223 ++++++++++++++++ rust-workshop-etaps-2024/package.json | 100 + .../plugin/highlight/highlight.esm.js | 5 + .../plugin/highlight/highlight.js | 5 + .../plugin/highlight/monokai.css | 71 + .../plugin/highlight/plugin.js | 439 + .../plugin/highlight/zenburn.css | 80 + .../plugin/markdown/markdown.esm.js | 1 + .../plugin/markdown/markdown.js | 1 + .../plugin/markdown/plugin.js | 475 + .../plugin/math/math.esm.js | 1 + rust-workshop-etaps-2024/plugin/math/math.js | 1 + .../plugin/math/plugin.js | 91 + .../plugin/notes/notes.esm.js | 1 + .../plugin/notes/notes.js | 1 + .../plugin/notes/plugin.js | 184 + .../plugin/notes/speaker-view.html | 852 + .../plugin/search/plugin.js | 243 + .../plugin/search/search.esm.js | 7 + .../plugin/search/search.js | 7 + .../plugin/zoom/plugin.js | 279 + .../plugin/zoom/zoom.esm.js | 4 + rust-workshop-etaps-2024/plugin/zoom/zoom.js | 4 + rust-workshop-etaps-2024/rooster.png | Bin 0 -> 8398 bytes .../test/assets/external-script-a.js | 1 + .../test/assets/external-script-b.js | 1 + .../test/assets/external-script-c.js | 1 + .../test/assets/external-script-d.js | 1 + rust-workshop-etaps-2024/test/simple.md | 12 + .../test/test-auto-animate.html | 166 + .../test/test-dependencies-async.html | 77 + .../test/test-dependencies.html | 51 + .../test/test-grid-navigation.html | 71 + .../test/test-iframe-backgrounds.html | 98 + .../test/test-iframes.html | 102 + .../test/test-markdown.html | 480 + .../test/test-multiple-instances-es5.html | 85 + .../test/test-multiple-instances.html | 103 + rust-workshop-etaps-2024/test/test-pdf.html | 92 + .../test/test-plugins.html | 107 + rust-workshop-etaps-2024/test/test-state.html | 136 + rust-workshop-etaps-2024/test/test.html | 898 + sitemap.xml | 2 +- 250 files changed, 38629 insertions(+), 443 deletions(-) delete mode 100644 assets/images/crab-writing-f36e8deddc2796becd1a08b70a58e607.webp rename assets/js/{02e13650.a80315ba.js => 02e13650.19c1d091.js} (93%) rename assets/js/{2adc0ba4.29a4c874.js => 2adc0ba4.bc87328a.js} (78%) rename assets/js/{2d92dfb9.1d8307df.js => 2d92dfb9.405f03df.js} (83%) rename assets/js/{36cb36bb.8595c7a8.js => 36cb36bb.643a4386.js} (75%) rename assets/js/{40a5438f.8862bcb4.js => 40a5438f.0204a87e.js} (76%) rename assets/js/{523d8f7d.1a003100.js => 523d8f7d.0df570e1.js} (83%) rename assets/js/{54a1f05d.92da3d07.js => 54a1f05d.d2fade5e.js} (79%) rename assets/js/{72c84e71.94bc518b.js => 72c84e71.2f8499cf.js} (78%) rename assets/js/{76bc59ef.e7a7c663.js => 76bc59ef.29b544e9.js} (84%) rename assets/js/{7c0fea77.0524c88f.js => 7c0fea77.e01b9af4.js} (97%) create mode 100644 assets/js/814f3328.aa03d63d.js delete mode 100644 assets/js/814f3328.eb753020.js rename assets/js/{834fe8c4.312d288e.js => 834fe8c4.93b4249e.js} (78%) delete mode 100644 assets/js/8e0f4841.570b7238.js rename assets/js/{8eb4e46b.3c387ee7.js => 8eb4e46b.97b20df0.js} (79%) rename assets/js/{92999a1c.4ceae39a.js => 92999a1c.49a30af3.js} (77%) delete mode 100644 assets/js/a06ffc17.0a75e123.js rename assets/js/{a5d7f2f4.6cb0b72e.js => a5d7f2f4.bed96a4a.js} (79%) rename assets/js/{a7023ddc.f8a97f90.js => a7023ddc.7442b0c2.js} (53%) rename assets/js/{a7cac7dd.0f11225e.js => a7cac7dd.e5241e69.js} (78%) rename assets/js/{b2b675dd.13640269.js => b2b675dd.d76e31a3.js} (76%) create mode 100644 assets/js/b2f554cd.52e7e1f5.js delete mode 100644 assets/js/b2f554cd.afac419d.js rename assets/js/{b985990b.524e58e1.js => b985990b.ca00dab6.js} (83%) rename assets/js/{bdf7c199.eadbbae6.js => bdf7c199.28fafca5.js} (79%) rename assets/js/{c9eb5c8c.76d87a8a.js => c9eb5c8c.97d6e738.js} (79%) rename assets/js/{cec855a0.92f794c5.js => cec855a0.e5a5a6ee.js} (84%) rename assets/js/{cf3d20aa.c010d6e5.js => cf3d20aa.de659684.js} (78%) delete mode 100644 assets/js/main.6fc071ac.js create mode 100644 assets/js/main.c5237d9c.js rename assets/js/{main.6fc071ac.js.LICENSE.txt => main.c5237d9c.js.LICENSE.txt} (100%) create mode 100644 assets/js/runtime~main.646fe817.js delete mode 100644 assets/js/runtime~main.acc3d8ac.js delete mode 100644 blog/2024/04/03/monadic-notation-for-rust-translation.html create mode 100644 rust-workshop-etaps-2024/CONTRIBUTING.md create mode 100644 rust-workshop-etaps-2024/LICENSE create mode 100644 rust-workshop-etaps-2024/css/layout.scss create mode 100644 rust-workshop-etaps-2024/css/print/paper.scss create mode 100644 rust-workshop-etaps-2024/css/print/pdf.scss create mode 100644 rust-workshop-etaps-2024/css/reveal.scss create mode 100644 rust-workshop-etaps-2024/css/theme/source/beige.scss create mode 100644 rust-workshop-etaps-2024/css/theme/source/black.scss create mode 100644 rust-workshop-etaps-2024/css/theme/source/blood.scss create mode 100644 rust-workshop-etaps-2024/css/theme/source/league.scss create mode 100644 rust-workshop-etaps-2024/css/theme/source/moon.scss create mode 100644 rust-workshop-etaps-2024/css/theme/source/night.scss create mode 100644 rust-workshop-etaps-2024/css/theme/source/serif.scss create mode 100644 rust-workshop-etaps-2024/css/theme/source/simple.scss create mode 100644 rust-workshop-etaps-2024/css/theme/source/sky.scss create mode 100644 rust-workshop-etaps-2024/css/theme/source/solarized.scss create mode 100644 rust-workshop-etaps-2024/css/theme/source/white.scss create mode 100644 rust-workshop-etaps-2024/css/theme/template/exposer.scss create mode 100644 rust-workshop-etaps-2024/css/theme/template/mixins.scss create mode 100644 rust-workshop-etaps-2024/css/theme/template/settings.scss create mode 100644 rust-workshop-etaps-2024/css/theme/template/theme.scss create mode 100644 rust-workshop-etaps-2024/dist/reset.css create mode 100644 rust-workshop-etaps-2024/dist/reveal.css create mode 100644 rust-workshop-etaps-2024/dist/reveal.esm.js create mode 100644 rust-workshop-etaps-2024/dist/reveal.js create mode 100644 rust-workshop-etaps-2024/dist/theme/beige.css create mode 100644 rust-workshop-etaps-2024/dist/theme/black.css create mode 100644 rust-workshop-etaps-2024/dist/theme/blood.css create mode 100644 rust-workshop-etaps-2024/dist/theme/fonts/league-gothic/LICENSE create mode 100644 rust-workshop-etaps-2024/dist/theme/fonts/league-gothic/league-gothic.css create mode 100644 rust-workshop-etaps-2024/dist/theme/fonts/league-gothic/league-gothic.eot create mode 100644 rust-workshop-etaps-2024/dist/theme/fonts/league-gothic/league-gothic.ttf create mode 100644 rust-workshop-etaps-2024/dist/theme/fonts/league-gothic/league-gothic.woff create mode 100644 rust-workshop-etaps-2024/dist/theme/fonts/source-sans-pro/LICENSE create mode 100644 rust-workshop-etaps-2024/dist/theme/fonts/source-sans-pro/source-sans-pro-italic.eot create mode 100644 rust-workshop-etaps-2024/dist/theme/fonts/source-sans-pro/source-sans-pro-italic.ttf create mode 100644 rust-workshop-etaps-2024/dist/theme/fonts/source-sans-pro/source-sans-pro-italic.woff create mode 100644 rust-workshop-etaps-2024/dist/theme/fonts/source-sans-pro/source-sans-pro-regular.eot create mode 100644 rust-workshop-etaps-2024/dist/theme/fonts/source-sans-pro/source-sans-pro-regular.ttf create mode 100644 rust-workshop-etaps-2024/dist/theme/fonts/source-sans-pro/source-sans-pro-regular.woff create mode 100644 rust-workshop-etaps-2024/dist/theme/fonts/source-sans-pro/source-sans-pro-semibold.eot create mode 100644 rust-workshop-etaps-2024/dist/theme/fonts/source-sans-pro/source-sans-pro-semibold.ttf create mode 100644 rust-workshop-etaps-2024/dist/theme/fonts/source-sans-pro/source-sans-pro-semibold.woff create mode 100644 rust-workshop-etaps-2024/dist/theme/fonts/source-sans-pro/source-sans-pro-semibolditalic.eot create mode 100644 rust-workshop-etaps-2024/dist/theme/fonts/source-sans-pro/source-sans-pro-semibolditalic.ttf create mode 100644 rust-workshop-etaps-2024/dist/theme/fonts/source-sans-pro/source-sans-pro-semibolditalic.woff create mode 100644 rust-workshop-etaps-2024/dist/theme/fonts/source-sans-pro/source-sans-pro.css create mode 100644 rust-workshop-etaps-2024/dist/theme/league.css create mode 100644 rust-workshop-etaps-2024/dist/theme/moon.css create mode 100644 rust-workshop-etaps-2024/dist/theme/night.css create mode 100644 rust-workshop-etaps-2024/dist/theme/serif.css create mode 100644 rust-workshop-etaps-2024/dist/theme/simple.css create mode 100644 rust-workshop-etaps-2024/dist/theme/sky.css create mode 100644 rust-workshop-etaps-2024/dist/theme/solarized.css create mode 100644 rust-workshop-etaps-2024/dist/theme/white.css create mode 100644 rust-workshop-etaps-2024/get_at_index.png create mode 100644 rust-workshop-etaps-2024/gulpfile.js create mode 100644 rust-workshop-etaps-2024/index.html create mode 100644 rust-workshop-etaps-2024/js/components/playback.js create mode 100644 rust-workshop-etaps-2024/js/config.js create mode 100644 rust-workshop-etaps-2024/js/controllers/autoanimate.js create mode 100644 rust-workshop-etaps-2024/js/controllers/backgrounds.js create mode 100644 rust-workshop-etaps-2024/js/controllers/controls.js create mode 100644 rust-workshop-etaps-2024/js/controllers/focus.js create mode 100644 rust-workshop-etaps-2024/js/controllers/fragments.js create mode 100644 rust-workshop-etaps-2024/js/controllers/keyboard.js create mode 100644 rust-workshop-etaps-2024/js/controllers/location.js create mode 100644 rust-workshop-etaps-2024/js/controllers/notes.js create mode 100644 rust-workshop-etaps-2024/js/controllers/overview.js create mode 100644 rust-workshop-etaps-2024/js/controllers/plugins.js create mode 100644 rust-workshop-etaps-2024/js/controllers/pointer.js create mode 100644 rust-workshop-etaps-2024/js/controllers/print.js create mode 100644 rust-workshop-etaps-2024/js/controllers/progress.js create mode 100644 rust-workshop-etaps-2024/js/controllers/slidecontent.js create mode 100644 rust-workshop-etaps-2024/js/controllers/slidenumber.js create mode 100644 rust-workshop-etaps-2024/js/controllers/touch.js create mode 100644 rust-workshop-etaps-2024/js/index.js create mode 100644 rust-workshop-etaps-2024/js/reveal.js create mode 100644 rust-workshop-etaps-2024/js/utils/color.js create mode 100644 rust-workshop-etaps-2024/js/utils/constants.js create mode 100644 rust-workshop-etaps-2024/js/utils/device.js create mode 100644 rust-workshop-etaps-2024/js/utils/loader.js create mode 100644 rust-workshop-etaps-2024/js/utils/util.js create mode 100644 rust-workshop-etaps-2024/package-lock.json create mode 100644 rust-workshop-etaps-2024/package.json create mode 100644 rust-workshop-etaps-2024/plugin/highlight/highlight.esm.js create mode 100644 rust-workshop-etaps-2024/plugin/highlight/highlight.js create mode 100644 rust-workshop-etaps-2024/plugin/highlight/monokai.css create mode 100644 rust-workshop-etaps-2024/plugin/highlight/plugin.js create mode 100644 rust-workshop-etaps-2024/plugin/highlight/zenburn.css create mode 100644 rust-workshop-etaps-2024/plugin/markdown/markdown.esm.js create mode 100644 rust-workshop-etaps-2024/plugin/markdown/markdown.js create mode 100644 rust-workshop-etaps-2024/plugin/markdown/plugin.js create mode 100644 rust-workshop-etaps-2024/plugin/math/math.esm.js create mode 100644 rust-workshop-etaps-2024/plugin/math/math.js create mode 100644 rust-workshop-etaps-2024/plugin/math/plugin.js create mode 100644 rust-workshop-etaps-2024/plugin/notes/notes.esm.js create mode 100644 rust-workshop-etaps-2024/plugin/notes/notes.js create mode 100644 rust-workshop-etaps-2024/plugin/notes/plugin.js create mode 100644 rust-workshop-etaps-2024/plugin/notes/speaker-view.html create mode 100644 rust-workshop-etaps-2024/plugin/search/plugin.js create mode 100644 rust-workshop-etaps-2024/plugin/search/search.esm.js create mode 100644 rust-workshop-etaps-2024/plugin/search/search.js create mode 100644 rust-workshop-etaps-2024/plugin/zoom/plugin.js create mode 100644 rust-workshop-etaps-2024/plugin/zoom/zoom.esm.js create mode 100644 rust-workshop-etaps-2024/plugin/zoom/zoom.js create mode 100644 rust-workshop-etaps-2024/rooster.png create mode 100644 rust-workshop-etaps-2024/test/assets/external-script-a.js create mode 100644 rust-workshop-etaps-2024/test/assets/external-script-b.js create mode 100644 rust-workshop-etaps-2024/test/assets/external-script-c.js create mode 100644 rust-workshop-etaps-2024/test/assets/external-script-d.js create mode 100644 rust-workshop-etaps-2024/test/simple.md create mode 100644 rust-workshop-etaps-2024/test/test-auto-animate.html create mode 100644 rust-workshop-etaps-2024/test/test-dependencies-async.html create mode 100644 rust-workshop-etaps-2024/test/test-dependencies.html create mode 100644 rust-workshop-etaps-2024/test/test-grid-navigation.html create mode 100644 rust-workshop-etaps-2024/test/test-iframe-backgrounds.html create mode 100644 rust-workshop-etaps-2024/test/test-iframes.html create mode 100644 rust-workshop-etaps-2024/test/test-markdown.html create mode 100644 rust-workshop-etaps-2024/test/test-multiple-instances-es5.html create mode 100644 rust-workshop-etaps-2024/test/test-multiple-instances.html create mode 100644 rust-workshop-etaps-2024/test/test-pdf.html create mode 100644 rust-workshop-etaps-2024/test/test-plugins.html create mode 100644 rust-workshop-etaps-2024/test/test-state.html create mode 100644 rust-workshop-etaps-2024/test/test.html diff --git a/404.html b/404.html index c7ab172d5..a30e89c2d 100644 --- a/404.html +++ b/404.html @@ -13,8 +13,8 @@ - - + +
Skip to main content

Page Not Found

We could not find what you were looking for.

Please contact the owner of the site that linked you to the original URL and let them know their link is broken.