From b1a21666073f67bcb9b671e14e5e73ae3b79608b Mon Sep 17 00:00:00 2001 From: Viktor Kuncak <viktor.kuncak@epfl.ch> Date: Tue, 2 Jun 2015 12:41:47 +0200 Subject: [PATCH] doc: * Fixed typo and wording in references * Streamlined intro opening --- doc/intro.rst | 4 +--- doc/references.rst | 3 +-- 2 files changed, 2 insertions(+), 5 deletions(-) diff --git a/doc/intro.rst b/doc/intro.rst index c0f572d65..2b2ced540 100644 --- a/doc/intro.rst +++ b/doc/intro.rst @@ -3,9 +3,7 @@ Introduction The Leon system aims to help developers build verified Scala software. It encourages using a small set of core Scala features, but provides -advanced automation functionality users do not obtain in today's -compilers and development environments for programming languages. -In particular, Leon can +unique automation functionality. In particular, Leon can * verify statically that your program confirms to a given specification and that it cannot crash at run-time diff --git a/doc/references.rst b/doc/references.rst index 51eb8cddb..c7c4f2b8a 100644 --- a/doc/references.rst +++ b/doc/references.rst @@ -3,8 +3,7 @@ References ========== -The Leon system is documented in serveral talks and papers. Presentations describing and -demonstrating Leon can be found below. +The Leon system is documented in several papers and talks, which provide additional information on the algorithms and techniques we used in Leon. Videos -- GitLab