diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-05-09 11:03:48 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-09 11:03:48 +0000 |
commit | 89ee0755cc0c50c6231382fb8cc4f47f39f0c103 (patch) | |
tree | 22add5a7d885db25d15aad6032a717bff94420d9 /CHANGES | |
parent | d6b9deee62185d7ae9338c8dc0b9ea1f409063fc (diff) |
Updated
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -66,6 +66,14 @@ ** Changes for developers to note +*** Rearrangement of elisp files and loading mechanism. + + Autoloads in proof-autoloads.el are generated from + ;;;###autoload comments with `make devel.autoloads' + + Several new files, to "modularize" the code a bit more. + + *** No need for match string 1 in proof-shell-proof-completed *** Changed buffer mode name: pbp-mode -> proof-goals-mode, for uniformity. |