Pluscal translation process

FedericoPonzi · Jun 28, 2024 · 834358b · 834358b
1 parent 4ec3ade
commit 834358b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/SUMMARY.md b/src/SUMMARY.md
@@ -38,6 +38,7 @@
     - [Setting up the development environment](./codebase/devenv.md)
     - [Debugging and rootcausing issues](./codebase/debugging.md)
     - [CI/CD overview](./codebase/ci-cd.md)
+    - [Pluscal](./codebase/pluscal.md)
     - [Codebase Architecture Walkthrough](./codebase/architecture.md)
     - [Architecture of the TLA+ Toolbox (IDE)](./codebase/architecture-toolbox.md)
     - [Codebase Idiosyncrasies](./codebase/idiosyncrasies.md)