Differences

This shows you the differences between two versions of the page.

--- en:sidebar [2025/04/07 07:34] – created superuser
+++ en:sidebar [2025/04/08 03:39] (current) – superuser
@@ Line 1: / Line 1: @@
-  * [[start]]
+\\
-  * [[example]]
+----
+\\
+  * [[start|Basic Syntax and Behavior]]
+  * [[example|Interactive Demo]]
   * [[https://www.dokuwiki.org/plugin:mizarverifiabledocs|Mizar Verifiable Docs(English)]]
-  * [[https://www.dokuwiki.org/ja:plugin:mizarverifiabledocs|Mizar Verifiable Docs (Japanease)]]
   * [[https://github.com/YamadaMiz/mizarverifiabledocs|GitHub repository]]
   * [[https://note.com/yamada_miz|note creator page]]