diff options
| -rw-r--r-- | todo | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -288,6 +288,8 @@ D The proof-locked-span isn't set to read-only, because overlays don't * Release ========= +A validate/fix web pages. + A remove CVS history in all files (replace with idents $Id) A extend Copyright to 1998 |
