From ab09e42a7c1912eedb35834effdedc7ba70f2098 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 20 Oct 1998 10:40:03 +0000 Subject: Updated screenshot. --- todo | 2 -- 1 file changed, 2 deletions(-) (limited to 'todo') diff --git a/todo b/todo index 395d2fe4..846da068 100644 --- a/todo +++ b/todo @@ -451,5 +451,3 @@ 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 - -B update screenshot so that it displays most recent icons \ No newline at end of file -- cgit v1.2.3