From cae2087273f29dae2a2879454e31bb578d98f17e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 15 Jun 2000 12:56:15 +0000
Subject: Note to merge

---
 isar/x-symbol-isar.el | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/isar/x-symbol-isar.el b/isar/x-symbol-isar.el
index fcb1ed5a..83a6b657 100644
--- a/isar/x-symbol-isar.el
+++ b/isar/x-symbol-isar.el
@@ -4,6 +4,8 @@
 ;;  token language "Isabelle Symbols" for package x-symbol
 ;;
 ;; NB: this file is copied directly from isa/x-symbol-isa.el
+;;
+;; FIXME da: merge this with x-symbol-isa, making x-symbol-isabelle.
 
 (provide 'x-symbol-isar)
 (defvar x-symbol-isar-required-fonts nil)
-- 
cgit v1.2.3