diff options
| author | David Aspinall | 1998-11-25 17:36:26 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-25 17:36:26 +0000 |
| commit | 783bf52e92cdea2dcca9e42646d3e20f99877375 (patch) | |
| tree | 654a8136229a648f7c8de68587116b613ffc133d | |
| parent | 7058ccdb48330a6a6c718310bdbfceb11cf0478b (diff) | |
Added 20.3 version of FSF Emacs and todo for each release.
| -rw-r--r-- | todo | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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/ |
