diff options
author | Hendrik Tews <hendrik@askra.de> | 2011-04-27 13:18:12 +0000 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2011-04-27 13:18:12 +0000 |
commit | 171883f33adeb4f1970d0a3673d9eceb6789cb66 (patch) | |
tree | f4353a99d893c40abc3f976ce7dfd46c626ad7a4 | |
parent | 3eea0eaffd32f3e182afe5cea17e545db6f60a80 (diff) |
update Hendrik's personal issue list
-rw-r--r-- | coq/coq.el | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -960,9 +960,16 @@ This is specific to `coq-mode'." ;; maybe delete them ;; - Bug: undo in locked ancestor ;; - Bug: never stopping busy cursor -;; - Bug: coq not running for the first comment after switching ;; - 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) ;; user options and variables |