diff --git a/Manual.md b/Manual.md index d9d67bf..b85d21c 100644 --- a/Manual.md +++ b/Manual.md @@ -1,6 +1,9 @@ RE: , work in progress... -## Users' Manual + +| **Users' Manual** | **Developers' Manual** | +|---|---| + ### Overview @@ -38,9 +41,9 @@ RE: , work in [Capabilities](Capabilities) ----- -## Developers' Manual + + ### Community @@ -82,7 +85,7 @@ Ostrom GSoCIdeas ----- + Useful pages which should be in the manual (but where?): FAQ, [TipsTricks](TipsTricks), Bibliography