From dd662549c9f16f16b0ea7f4a93440556863a60c7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 7 May 2004 00:05:38 +0000
Subject: New files.

---
 coq/TODO-TMP | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 coq/TODO-TMP

diff --git a/coq/TODO-TMP b/coq/TODO-TMP
new file mode 100644
index 00000000..25a227b2
--- /dev/null
+++ b/coq/TODO-TMP
@@ -0,0 +1,21 @@
+--- multiple file hacking finish
+--- X-sym wierdness: (1) (warning/warning) Must provide :input-spec
+--- nick ideas from coq-ide: proof wizard
+     (also their goto point is rather nicer: suspect it uses internal 
+	state).
+
+--- continue plan of adding more commands to menus, etc
+
+--- can we fontify ----- as a rule?
+
+--- buggy indentation:
+
+(substring (setq a (shell-command-to-string
+			    (concat
+			     "coqdep *.v | grep " 
+			     (file-name-nondirectory 
+			      (file-name-sans-extension fname)) ".v"
+			      " | awk '{print $1}' | sed 's/.vo:/.v/'")))
+a  -- TAB here loops forever
+
+
-- 
cgit v1.2.3