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