start kotlin

.github/workflows/nightlydeploy.yml

@@ -36,13 +36,15 @@ jobs:
         uses: gradle/actions/setup-gradle@v6
 
       - name: Generated Stubs, Documentation and Assemble
-        run: ./gradlew --parallel :keyext.api.doc:run :dokkaGeneratePublicationHtml assemble
+        run: ./gradlew --parallel :keyext.api.doc:run
+      - run: ./gradlew --parallel :dokkaGeneratePublicationHtml assemble
+
+      - run: mv -v build/dokka/html/ out/dokka
 
-      - run: mv out/* build/dokka/html/
       - name: "Upload GitHub Pages artifact"
         uses: actions/upload-pages-artifact@v5
         with:
-          path: build/dokka/html
+          path: out/
       - name: Deploy to GitHub Pages
         id: deployment
         uses: actions/deploy-pages@v5

keyext.api.doc/src/main/resources/default.css → doc/default.css

@@ -57,10 +57,16 @@ body {
     }
 
     ul {
+        padding-left: 2ex;
+    }
 
+    ul.segments > li abbr {
+        font-size: 120%;
+        font-weight: bold;
     }
 
     li {
+        list-style: disc;
     }
 }
 

doc/index.md

@@ -0,0 +1,39 @@
+---
+title: "Index"
+---
+
+# key-rpc
+The JSON-RPC interface for the KeY theorem prover
+
+# Module sample
+Sample examples for Dokka Mermaid plugin.
+
+```mermaid
+pie title NETFLIX
+         "Time spent looking for movie" : 90
+         "Time spent watching it" : 10
+```
+
+# Package com.glureau.dokkamermaid.sample
+
+Package documentation can have its own mermaid diagrams.
+
+```mermaid
+mindmap
+  root((mindmap))
+    Origins
+      Long history
+      ::icon(fa fa-book)
+      Popularisation
+        British popular psychology author Tony Buzan
+    Research
+      On effectiveness<br/>and features
+      On Automatic creation
+        Uses
+            Creative techniques
+            Strategic planning
+            Argument mapping
+    Tools
+      Pen and paper
+      Mermaid
+```

gradle/index.md

@@ -1,35 +1,3 @@
 # key-rpc
 The JSON-RPC interface for the KeY theorem prover
 
-# Module sample
-Sample examples for Dokka Mermaid plugin.
-
-```mermaid
-pie title NETFLIX
-         "Time spent looking for movie" : 90
-         "Time spent watching it" : 10
-```
-
-# Package com.glureau.dokkamermaid.sample
-
-Package documentation can have its own mermaid diagrams.
-
-```mermaid
-mindmap
-  root((mindmap))
-    Origins
-      Long history
-      ::icon(fa fa-book)
-      Popularisation
-        British popular psychology author Tony Buzan
-    Research
-      On effectiveness<br/>and features
-      On Automatic creation
-        Uses
-            Creative techniques
-            Strategic planning
-            Argument mapping
-    Tools
-      Pen and paper
-      Mermaid
-```

gradle/libs.versions.toml

@@ -11,6 +11,7 @@ therapi = "0.15.0"
 kotlin-gradle-plugin = "2.4.0"
 dokka = "2.2.0"
 spotless = "8.7.0"
+kotlinx-coroutines = "1.10.1"
 
 [libraries]
 kotlin-gradle-plugin = { module = "org.jetbrains.kotlin:kotlin-gradle-plugin", version.ref = "kotlin-gradle-plugin" }
@@ -28,3 +29,5 @@ guava = { module = "com.google.guava:guava", version.ref = "guava" }
 therapi-runtime-javadoc-scribe = { module = "com.github.therapi:therapi-runtime-javadoc-scribe", version.ref = "therapi" }
 therapi-runtime-javadoc = { module = "com.github.therapi:therapi-runtime-javadoc", version.ref = "therapi" }
 clickt = { module = "com.github.ajalt.clikt:clikt", version = "5.1.0" }
+kotlinx-coroutines-core = { module = "org.jetbrains.kotlinx:kotlinx-coroutines-core", version.ref = "kotlinx-coroutines" }
+kotlinx-coroutines-js = { module = "org.jetbrains.kotlinx:kotlinx-coroutines-core-js", version.ref = "kotlinx-coroutines" }