Add TODOs/content on blank splash pages (#97)

thatplguy · web-flow · commit e58866a63e4a · 2024-11-13T08:59:30.000-08:00
diff --git a/docs/getting-started/hello-world.md b/docs/getting-started/hello-world.md
@@ -1 +1,4 @@
 # Hello World
+
+!!! TODO
+    This page is under construction.
diff --git a/docs/getting-started/tutorials/README.md b/docs/getting-started/tutorials/README.md
@@ -18,3 +18,19 @@ elaborate separation logic specifications of data structures.
 The source files for all the exercises and examples below can be downloaded
 from [here](link:exercises.zip).
 
+## Tutorials
+
+- [Basic usage](basic-usage.md)
+- [Pointers and simple ownership](pointers-and-simple-ownership.md)
+- [Ownership of compound objects](ownership-of-compound-objects.md)
+- [Arrays and loops](arrays-and-loops.md)
+- [Defining predicates](defining-predicates.md)
+- [Allocating and deallocating memory](allocating-and-deallocating-memory.md)
+- [Lists](lists.md)
+- [Working with external lemmas](external-lemmas.md)
+
+## Case studies
+
+- [Imperative queues](../case-studies/imperative-queues.md)
+- [Doubly-linked lists](../case-studies/doubly-linked-lists.md)
+- [Airport Simulation](../case-studies/the-runway.md)
diff --git a/docs/help/README.md b/docs/help/README.md
@@ -1 +1,4 @@
 # Help
+
+!!! TODO
+    This page is under construction.
diff --git a/docs/testing/README.md b/docs/testing/README.md
@@ -1 +1,4 @@
 # Testing
+
+!!! TODO
+    This page is under construction.
diff --git a/docs/verification/README.md b/docs/verification/README.md
@@ -1 +1,4 @@
 # Verification
+
+!!! TODO
+    This page is under construction.
