aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Aspinall1998-11-25 17:36:26 +0000
committerDavid Aspinall1998-11-25 17:36:26 +0000
commit783bf52e92cdea2dcca9e42646d3e20f99877375 (patch)
tree654a8136229a648f7c8de68587116b613ffc133d
parent7058ccdb48330a6a6c718310bdbfceb11cf0478b (diff)
Added 20.3 version of FSF Emacs and todo for each release.
-rw-r--r--todo1
1 files changed, 1 insertions, 0 deletions
diff --git a/todo b/todo
index 2771f689..579bc0da 100644
--- a/todo
+++ b/todo
@@ -499,6 +499,7 @@ A add links *from* Coq, Lego & Isabelle Web pages (da, tms 10 min)
README, doc/ProofGeneral.texi, html/download.html
5. ProofGeneral.texi docstring magic is up-to-date:
cd doc; make magic
+6. Update Emacs versions in texi, html/