| changeset 15689 | 621bd0d8048f |
| parent 15493 | eeddbd09f43c |
| child 15953 | 902b556e4bc0 |
--- a/doc-src/LaTeXsugar/Sugar/document/root.tex Sat Apr 09 16:27:11 2005 +0200 +++ b/doc-src/LaTeXsugar/Sugar/document/root.tex Sun Apr 10 11:41:29 2005 +0200 @@ -38,7 +38,7 @@ \maketitle \begin{abstract} -This document shows you how to typset mathematics in Isabelle-based +This document shows how to typset mathematics in Isabelle-based documents in a style close to that in ordinary computer science papers. \end{abstract}