diff options
| author | David Aspinall | 2001-08-01 18:54:45 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-08-01 18:54:45 +0000 |
| commit | 389546e42781299861a46358e1a1d4f960da599b (patch) | |
| tree | d4afe229c1f9d139a042ad6e5f2ff75e1996c1f9 /ChangeLog | |
| parent | 860c073fb27e10966e09aaf14de6a225c94912ef (diff) | |
Updated.
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 39 |
1 files changed, 39 insertions, 0 deletions
@@ -1,3 +1,42 @@ +2001-08-01 David Aspinall <da@proofgeneral.org> + + * etc/ProofGeneral.spec, html/devel.html, generic/proof-site.el, html/develdownload.php: + Set version tag for new release. + + * generic/proof-autoloads.el: + Regenerate to remove Christophes patch + + * generic/proof-compat.el, generic/proof-site.el: + Moved compat hack to proof-site + + * generic/proof-toolbar.el: + Revert to removing and re-adding specifiers for toolbar, + so that enablers work at least as well as they did before... + + * generic/proof-compat.el: + Add a dummy version of package-provide for FSFEmacs. + +2001-07-25 Christophe Raffalli <Christophe.Raffalli@univ-savoie.fr> + + * generic/proof-autoloads.el, generic/proof-splash.el, README.windows: + *** empty log message *** + + * phox/phox.el, phox/phox-sym-lock.el, phox/phox-fun.el, generic/proof-splash.el, generic/proof-toolbar.el: + Various changes for win32 compatibility + +2001-07-23 David Aspinall <da@proofgeneral.org> + + * ChangeLog: Updated. + + * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: + Set version tag for new release. + + * generic/proof-menu.el: + Prevent error msg in proof-display-some-buffers if response dead. + + * generic/proof-shell.el: + Bug report from Robert Schneck. Make proof-shell-restart start shell. Goals display convention, not hack. + 2001-07-23 David Aspinall <da@proofgeneral.org> * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: |