diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-06-09 19:28:28 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-06-09 19:28:28 +0000 |
| commit | 2a7a29a2e921ca5c677da3c6720f4d11de014847 (patch) | |
| tree | 3f7787557a9f3ba34493c57e0568ad2cf4db3f7d /todo | |
| parent | 489d2fe1499bac3bd71af691da67bdbbcf57807f (diff) | |
Message about packages needed (incomplete)
Diffstat (limited to 'todo')
| -rw-r--r-- | todo | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -62,6 +62,8 @@ X Solaris bugs: font locking and button enabling. **** A make C-c C-l go to bottom of response buffer while output is arriving (set-window-point (point)) or similar. +**** A Doc new bits: which XEmacs packages does PG use? (for INSTALL) + **** A Doc new bits: proof-next-error **** A Doc new bits: font lock keywords, filename %e, %r. |