From 11235369444b285147447a112b1b1569b0f24ad1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 28 Sep 1999 14:14:34 +0000
Subject: Note about syntax

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

diff --git a/todo b/todo
index 087418f3..19a60773 100644
--- a/todo
+++ b/todo
@@ -480,10 +480,10 @@ X proof-site (da): I think it would be nice to change the architecture
 X Support a history of proof commands, with a "redo" command to
   redo undo-to-point or sequences of toolbar undo's.
 
-X Support for x-symbols package.
-  Provers with sophisticated/configurable syntax should tell Emacs
+X Provers with sophisticated/configurable syntax should tell Emacs
   about their syntax somehow, rather than trying to duplicate
   specifications inside Emacs.
+  Maybe some particular ATerm format would help with this?
 
 X Comment support is not very generic: we don't support end-of-line
   terminated comments.  Is there any case where this might be
-- 
cgit v1.2.3