From bd48272feb9b54b364cf28385d49571111010296 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 29 Sep 2000 18:59:54 +0000
Subject: Updated

---
 todo | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/todo b/todo
index f65080e6..dbd81ab9 100644
--- a/todo
+++ b/todo
@@ -936,4 +936,4 @@ Output written on ProofGeneral.pdf (2 pages, 54702 bytes).
 	- ideas about proof engineering cf software engineering
 	- research on ways of conducting a formalization, cf
 	  ways of writing a program.  Common idioms that PG could
-	  help with.
\ No newline at end of file
+	  help with.
-- 
cgit v1.2.3