From 4fde55ed2601e61a4a490073a38bbbec6b124b1e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 9 Jul 2001 15:45:57 +0000
Subject: TODO for proof-ass fixing added.

---
 todo | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/todo b/todo
index 2a8a62f3..bc3f6bca 100644
--- a/todo
+++ b/todo
@@ -32,6 +32,10 @@ X (Low)		e.g. probably not worth spending time on
 
 ** 2. Things to in the generic interface
 
+*** C Fix byte compilation
+      Problem with proof-ass macro mechanism -- gets expanded during
+      compilation.
+
 *** C The PG isabelle-completion-table seems to be subject to case-fold, which
       it shouldn't be: \<sqinter> does not work, but \<Sqinter> is OK.
 
-- 
cgit v1.2.3