diff options
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]. |