diff options
| author | David Aspinall | 2000-10-02 19:30:22 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-10-02 19:30:22 +0000 |
| commit | 39067fb954f8ea2b83b98657fe0efa9ad9394197 (patch) | |
| tree | 4b4dd89b9a57bf995e20dd61e2e4e243166dbb3a | |
| parent | 206eea6e0e25ac821b670fc5b703563364d8219c (diff) | |
Remove more duplicate entries.
| -rw-r--r-- | ChangeLog | 25 |
1 files changed, 0 insertions, 25 deletions
@@ -1,28 +1,3 @@ -2000-09-29 Pierre Courtieu <courtieu@lri.fr> - - * coq/todo: - added some comments in coq/todo - -2000-09-29 David Aspinall <da@proofgeneral.org> - - * coq/coqtags, lego/legotags: - Make default path to perl be /usr/bin/perl - -2000-09-29 Pierre Courtieu <courtieu@lri.fr> - - * coq/x-symbol-coq.el: - a little change in coq/x-symbol, nothing - - * coq/coq.el: - A little work around for the bug of Coq concerning the restart that - uses Reset Initial which doesn't reset the Implicit Arguments flag to - Off (this is the bug), I added the good command to the coq reset - command, this has to be backtracked when V7 will be done (the bug is - already corrected in V7). - - * lego/legotags, coq/x-symbol-coq.el, coq/coq.el, coq/coqtags, coq/coq-syntax.el: - Added Uncaught exception errors in coq-error-regexp. - 2000-09-29 David Aspinall <da@proofgeneral.org> * Makefile, Makefile.devel: |