From 783bf52e92cdea2dcca9e42646d3e20f99877375 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 25 Nov 1998 17:36:26 +0000 Subject: Added 20.3 version of FSF Emacs and todo for each release. --- todo | 1 + 1 file changed, 1 insertion(+) 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/ -- cgit v1.2.3