diff options
| -rw-r--r-- | todo | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -37,6 +37,14 @@ B Polish ProofGeneral.texi and publish LaTeX version as an LFCS * Update menus in texi [6 hours] +B Web pages improvements: + - Restructure so that page titles are different to help + browsing. (Move links_arr from header.phtml somewhere new, + and set $pg_title appropriately before head.phtml is included). + - Add pdf documentation as soon as DCS upgrades its ancient + TeX installation, or as soon as making release from elsewhere + works. Also need to fix inclusion of image in pdf. + A BUGS to investigate: - Thomas has a bizarre .emacs file which causes Seg Faults with Proof General and FSF Emacs. Doesn't happen with "emacs -q". |