diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-12-16 18:22:57 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-12-16 18:22:57 +0000 |
| commit | bbdb31ffa766e7e6bedcabcc06f75771828afbba (patch) | |
| tree | 249fb74e9a4a8b1aee9033157d265728e61a8fed | |
| parent | 3405aa7f075b343776c2b2a6505cdf4d18451e6d (diff) | |
Note about texinfo menu update.
| -rw-r--r-- | todo | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -25,6 +25,7 @@ B Polish ProofGeneral.texi and publish LaTeX version as an LFCS * Fix docstring magic so PROOFGENERAL_HOME is not var'd. * New line after first sentence of docstrings. * Several env variables / LEGO name stuff:: make `STUFF' be literal. + * Update menus in texi A BUGS to investigate: - Is there a catch bug on Solaris when a process shell killed? |