diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-05-07 00:09:01 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-05-07 00:09:01 +0000 |
| commit | f295d390fb43cad5caecd38786ca0bb18fb01836 (patch) | |
| tree | 0a89c2cbfaff5574876f3ac945638f512a6dac6e /README.3.5.1pre | |
| parent | dd662549c9f16f16b0ea7f4a93440556863a60c7 (diff) | |
Updated.
Diffstat (limited to 'README.3.5.1pre')
| -rw-r--r-- | README.3.5.1pre | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/README.3.5.1pre b/README.3.5.1pre index d4647d0d..9adbd07d 100644 --- a/README.3.5.1pre +++ b/README.3.5.1pre @@ -7,8 +7,9 @@ advertised verison of PG 3.5, including: -- multiple file handling -- automatic adjusting of line width -There are other minor improvements to documentation. +There are other minor improvements to documentation, and some +minor improvements for Isabelle. -[da, 24/4/04]. +[da, 7/5/04]. |