diff --git a/DOCUMENTATION.md b/DOCUMENTATION.md index 56f2e29..736afbb 100644 --- a/DOCUMENTATION.md +++ b/DOCUMENTATION.md @@ -1,9 +1,8 @@ -# SEMPRE documentation +# SEMPRE 2.0 documentation -This document describes SEMPRE in detail. See -[TUTORIAL.md](https://github.com/percyliang/sempre/blob/master/TUTORIAL.md) for -a more engaging introduction. This document assumes a modest understanding of -how SEMPRE works. +This document describes SEMPRE 2.0 in detail. See +[TUTORIAL.md](TUTORIAL.md) for a more engaging introduction. This document +assumes a modest understanding of how SEMPRE works. If you find any bugs, please report them or fix them (file a GitHub issue or submit a pull request)!