summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Dan Liew <daniel.liew@imperial.ac.uk>2016-04-20 16:20:48 +0100
committerGravatar Dan Liew <daniel.liew@imperial.ac.uk>2016-04-20 16:20:48 +0100
commit87e1e7b34261eac35869e6eff83fa57ca6268f3d (patch)
treee3c3bb5dcfaa0291e3fd99af9d480d69d72422de
parentae29deff82ad873a3dd541cb2d74d362d26f94c2 (diff)
Add links to new documentation (not yet complete).
-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