diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-14 16:30:28 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-14 16:30:28 +0000 |
| commit | c621a2ea58e24b04db91787e38a6842fe80a477b (patch) | |
| tree | 85812d968446d7690ccc2986108a4d26283daea6 /etc | |
| parent | c230e600adeb35f4c174c68812712cf50a45fe44 (diff) | |
Updated.
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/announce | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/announce b/etc/announce index f563b096..a8d1aa31 100644 --- a/etc/announce +++ b/etc/announce @@ -29,7 +29,7 @@ Summary of changes since 3.4: . Keyboard hints and other messages displayed in minibuffer . Auxiliary modes bundled: X-Symbol and MMM Mode . Improved menus, user options, script colouring and active highlighting -. Many changes for compatibility with latest Emacsen and provers +. Many changes for compatibility with latest Emacsen (esp. GNU) and provers . Many other minor improvements and editing features . For Coq: a new "holes" system, for editing structured expressions . New instances of PG: Casl Consistency Checker, Shell Script |