branch: elpa/proof-general
commit 9bf2c536147c8c337e4211166fa4498ca459197c
Author: hendriktews <hend...@askra.de>
Commit: GitHub <nore...@github.com>
CHANGES: remove wrongly merged note (#822)
Fix commit 1f9484f50e1df85552464c815fbe6c166e3efefb by removing the
CHANGES note that belongs to PR #791.
---
CHANGES | 3 ---
1 file changed, 3 deletions(-)
diff --git a/CHANGES b/CHANGES
index 6f5c3e0d5e..cfc52d084e 100644
--- a/CHANGES
+++ b/CHANGES
@@ -19,9 +19,6 @@ the Git ChangeLog, the GitHub repo
https://github.com/ProofGeneral/PG
changes below for more details.
*** New command `proof-check-annotate' to annotate all failing proofs
with FAIL comments.
-*** Improve splash screen, add menu entry to permanently disable it
- (Proof-General -> Quick Options -> Display -> Disable Splash Screen),
- reduce splash screen time to make it less annoying
*** Don't ask about killing the proof assistant when quitting Emacs and
thereby the Proof General session.
