Skip to content

Commit 8cce4fe

Browse files
will-break-itwill-break-it
committed
site: update preview
1 parent 615153c commit 8cce4fe

19 files changed

+318
-62
lines changed

‎site/package-lock.json‎

Lines changed: 4 additions & 4 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎site/package.json‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,7 @@
1919
"@docusaurus/core": "3.4.0",
2020
"@docusaurus/preset-classic": "3.4.0",
2121
"@mdx-js/react": "^3.0.0",
22-
"agda-web-docs-lib": "^0.5.3",
22+
"agda-web-docs-lib": "^0.6.0",
2323
"clsx": "^2.0.0",
2424
"prism-react-renderer": "^2.3.0",
2525
"react": "^18.0.0",

‎site/static/formal-spec/Leios.Base.html‎

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

‎site/static/formal-spec/Leios.Defaults.html‎

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

‎site/static/formal-spec/Leios.KeyRegistration.html‎

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

‎site/static/formal-spec/Leios.Network.html‎

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

‎site/static/formal-spec/Leios.Protocol.html‎

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

‎site/static/formal-spec/Leios.Short.Decidable.html‎

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

‎site/static/formal-spec/Leios.Short.Trace.Verifier.html‎

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

‎site/static/formal-spec/Leios.Short.html‎

Lines changed: 11 additions & 11 deletions
Large diffs are not rendered by default.

0 commit comments

Comments
 (0)