From 39067fb954f8ea2b83b98657fe0efa9ad9394197 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 2 Oct 2000 19:30:22 +0000 Subject: Remove more duplicate entries. --- ChangeLog | 25 ------------------------- 1 file changed, 25 deletions(-) (limited to 'ChangeLog') diff --git a/ChangeLog b/ChangeLog index 52a4e83d..4a6a1414 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,28 +1,3 @@ -2000-09-29 Pierre Courtieu - - * coq/todo: - added some comments in coq/todo - -2000-09-29 David Aspinall - - * coq/coqtags, lego/legotags: - Make default path to perl be /usr/bin/perl - -2000-09-29 Pierre Courtieu - - * 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 * Makefile, Makefile.devel: -- cgit v1.2.3