diff options
| author | Thomas Kleymann | 1998-10-20 10:13:59 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-10-20 10:13:59 +0000 |
| commit | bacdff71969c54572fcb65c23c06201e5a92bbe5 (patch) | |
| tree | eb669e2cea34163473659a06dd653ae7b5150b70 /todo | |
| parent | 6bd063dcc0a48c1b9dbdf4947596d24a0f1f94f6 (diff) | |
Screenshot is out of date
Diffstat (limited to 'todo')
| -rw-r--r-- | todo | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -450,4 +450,6 @@ B According to the documentation of font-lock for Emacs 20.2, it B add links *from* Coq, Lego & Isabelle Web pages -B add instructions for byte compilation
\ No newline at end of file +B add instructions for byte compilation + +B update screenshot so that it displays most recent icons
\ No newline at end of file |