changeset 32361 | 141e5151b918 |
parent 30182 | db768c888dfa |
child 35567 | 309e75c58af2 |
--- a/README_REPOSITORY Tue Aug 11 10:58:36 2009 +0200 +++ b/README_REPOSITORY Tue Aug 11 15:53:13 2009 +0200 @@ -208,8 +208,8 @@ two-dimensional presentation too much. -Building Isabelle from the repository version ---------------------------------------------- +Building a repository version of Isabelle +----------------------------------------- Compared to a proper distribution or development snapshot, a repository version of Isabelle lacks textual version identifiers in