changeset 56604 | 1b153b989860 |
parent 56533 | cd8b6d849b6a |
child 57320 | 00f2c8d1aa0b |
--- a/src/Doc/System/Sessions.thy Wed Apr 16 13:28:21 2014 +0200 +++ b/src/Doc/System/Sessions.thy Wed Apr 16 13:35:49 2014 +0200 @@ -165,7 +165,7 @@ includes a simple editing mode @{verbatim "isabelle-options"} for this file-format. - The following options are particulary relevant to build Isabelle + The following options are particularly relevant to build Isabelle sessions, in particular with document preparation (\chref{ch:present}).