diff options
Diffstat (limited to 'todo')
| -rw-r--r-- | todo | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -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. |
![]() |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |