summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--README.md6
1 files changed, 5 insertions, 1 deletions
diff --git a/README.md b/README.md
index 1dd0ba5a..beb217fd 100644
--- a/README.md
+++ b/README.md
@@ -33,9 +33,13 @@ several other institutions make the open-source Boogie tool what it is.
![boogie architecture](http://research.microsoft.com/en-us/projects/boogie/boogie.png)
+More documentation can be found at http://boogie-docs.readthedocs.org/en/latest/ .
+
## Language Reference
-[This is Boogie2](http://research.microsoft.com/en-us/um/people/leino/papers/krml178.pdf) details
+See [Language reference](http://boogie-docs.readthedocs.org/en/latest/LangRef.html).
+
+Note: [This is Boogie2](http://research.microsoft.com/en-us/um/people/leino/papers/krml178.pdf) details
many aspects of the Boogie IVL but is slightly out of date.
## Getting help