updated links to gitbook

README.md

@@ -40,7 +40,7 @@ From here on, more symbols can be added and learned.
 
 It can be that the learner has not learned the application correctly, i.e. there is a word in the model that has a different output than the actual application.
 In fact, one can never be a 100% sure if the model actually represents the system under learning.
-How to check for and handle these mistakes is described in the [user manual](http://learnlib.github.io/alex/book/1.0/contents/user-manual/index.html).
+How to check for and handle these mistakes is described in the [user manual](http://learnlib.github.io/alex/book/1.1.2/contents/user-manual/index.html).
 
 If you want to know more about Active Automata Learning, you can find some resources at [Google Scholar](https://scholar.google.de/scholar?hl=de&q=active+automata+learning) or the homepage of the [LearnLib](http://learnlib.de/).
 
@@ -82,9 +82,9 @@ To install and run ALEX, execute the following commands in a directory of your c
 
 ## Further reading
 
-* [Frontend user manual](http://learnlib.github.io/alex/book/1.0/contents/user-manual/index.html)
-* [Screencasts](http://learnlib.github.io/alex/book/1.0/contents/screencasts/index.html)
-* [Developer docs](http://learnlib.github.io/alex/book/1.0/contents/developer-documents/index.html)
+* [Frontend user manual](http://learnlib.github.io/alex/book/1.1.2/contents/user-manual/index.html)
+* [Screencasts](http://learnlib.github.io/alex/book/1.1.2/contents/screencasts/index.html)
+* [Developer docs](http://learnlib.github.io/alex/book/1.1.2/contents/developer-documents/index.html)
 
 ## FAQs