diff options
author | 2011-05-20 06:38:04 +0000 | |
---|---|---|
committer | 2011-05-20 06:38:04 +0000 | |
commit | d020f9c42ad658b05d669e10aef03f43e1605a98 (patch) | |
tree | 2e54ba4a02808b6722fc8fc20c8cd7ec6d832a98 /coq/coq.el | |
parent | 933e4ed71c8ef2e06addb473b8627efe9e196b46 (diff) |
- minor changes: clean personal todo list + adjust test case description
Diffstat (limited to 'coq/coq.el')
-rw-r--r-- | coq/coq.el | 22 |
1 files changed, 0 insertions, 22 deletions
@@ -954,28 +954,6 @@ This is specific to `coq-mode'." ;; Multiple file handling revisited ;; -;; TODO list: -;; - Bug: assert newly appended text in locked ancestor apparently -;; sends text before killing coqtop -;; (unreported) -;; - Bug: undo in locked ancestor -;; - Bug: never stopping busy cursor -;; - modify behavior of locked ancestors, see proof-span-read-only -;; (http://lists.inf.ed.ac.uk/pipermail/proofgeneral-devel/2011/000094.html) -;; - fix problem with partial library names -;; - set completion-ignored-extensions -;; (http://lists.inf.ed.ac.uk/pipermail/proofgeneral-devel/2011/000122.html) -;; - avoid restarting coqtop when the load path does not change -;; (http://lists.inf.ed.ac.uk/pipermail/proofgeneral-devel/2011/000088.html) -;; - defpacustom customization groups -;; (http://lists.inf.ed.ac.uk/pipermail/proofgeneral-devel/2011/000115.html) -;; - broken pg cache (http://proofgeneral.inf.ed.ac.uk/trac/ticket/395) -;; - do not kill coqtop when unlocking ancestors -;; (http://lists.inf.ed.ac.uk/pipermail/proofgeneral-devel/2011/000138.html) -;; - don't move point in invisible scripting buffer -;; (http://lists.inf.ed.ac.uk/pipermail/proofgeneral-devel/2011/000139.html) - - ;; user options and variables (defgroup coq-auto-compile () |