diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-05-07 00:05:38 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-05-07 00:05:38 +0000 |
| commit | dd662549c9f16f16b0ea7f4a93440556863a60c7 (patch) | |
| tree | aa394e0e4ca80d692f7764254d3c9891444bed55 /coq | |
| parent | 9284029abc588c4a0d9b51deb5462bb1e362af76 (diff) | |
New files.
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/TODO-TMP | 21 |
1 files changed, 21 insertions, 0 deletions
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 + + |