index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
diff options
context:
1
2
3
4
5
6
7
8
9
10
15
20
25
30
35
40
space:
include
ignore
mode:
unified
ssdiff
stat only
Diffstat
-rw-r--r--
todo
1
1 files changed, 0 insertions, 1 deletions
diff --git a/todo b/todo
index a6f0f636..b594b98b 100644
--- a/
todo
+++ b/
todo
@@ -445,4 +445,3 @@ D The proof-locked-span isn't set to read-only, because overlays don't
* Release
=========
-B validate/fix web pages.