More skeleton pages

src/SUMMARY.md

@@ -1,19 +1,33 @@
 # Summary
 
 - [TLA+ Wiki intro](./intro.md)
+    - [Contributing]()
+----
 - [TLA+ Codebase](./codebase/intro.md)
     - [Contributing](./codebase/contributing.md)
     - [Setting up the development environment](./codebase/ide.md)
+    - [CI/CD overview](./codebase/ci-cd.md)
     - [Codebase Architecture Walkthrough](./codebase/architecture.md)
     - [Codebase Idiosyncrasies](./codebase/idiosyncrasies.md)
     - [Wishlist](./codebase/wishlist.md)
-    - [Tree-sitter grammar]()
+    - [Benchmarks]()
+    - [SANY]()
+    - [JPF]()
+    - []()
+#    - [Tree-sitter grammar](./codebase/)
 - [Learning TLA+]()
     - [Lamport's video tutorial]()
     - [Example repo]()
     - [Notable repos]()
-- [Using TLA+]()
-    - [Standard Library]()
-    - [Community Modules]()
+- [Using TLA+ and TLC](./using/intro.md)
+    - [Vscode extension](./using/vscode.md)
+    - [Toolbox](./using/toolbox.md)
+    - [TLC CLI](./using/tlc-cli.md)
+    - [Standard Library](./using/standard-lib.md)
+    - [Community Modules](./using/community-modules.md)
+    - [Debugger](./using/debugger.md)
+    - [Generating stage graphs](./using/generating-state-graphs.md)
+    - [CI for your specifications](./using/ci-for-specs.md)
+    - [Known limitations](./using/limitations.md)
 - [TLA+ Community: what to do when you're stuck](community.md)
-- [TLAF: TLA+ Foundation]()
+- [TLAF: TLA+ Foundation](tlaf.md)

src/codebase/ci-cd.md

@@ -0,0 +1 @@
+# CI/CD overview

src/tlaf.md

@@ -0,0 +1 @@
+# TLAF: TLA+ Foundation

src/using/ci-for-specs.md

@@ -0,0 +1 @@
+# CI for your specifications

src/using/community-modules.md

@@ -0,0 +1 @@
+# Community Modules

src/using/debugger.md

@@ -0,0 +1 @@
+# Debugger

src/using/generating-state-graphs.md

@@ -0,0 +1 @@
+# Generating stage graphs

src/using/intro.md

@@ -0,0 +1 @@
+# Using TLA+

src/using/limitations.md

@@ -0,0 +1 @@
+# Limitations

src/using/standard-lib.md

@@ -0,0 +1 @@
+# Standard Library

src/using/tlc-cli.md

@@ -0,0 +1 @@
+# TLC CLI

src/using/toolbox.md

@@ -0,0 +1 @@
+# Toolbox

src/using/vscode.md

@@ -0,0 +1,4 @@
+# Visual Studio Code Extension
+This is the fastest and easiest way to get started with TLA+ and TLC.
+
+1. Download visual studio