aboutsummaryrefslogtreecommitdiff
path: root/todo
AgeCommit message (Collapse)Author
1999-10-06Usability enhancementDavid Aspinall
1999-10-06UpdatedDavid Aspinall
1999-10-06UpdatedDavid Aspinall
1999-10-06UpdatedDavid Aspinall
1999-10-06UpdatedDavid Aspinall
1999-10-06updatesDavid Aspinall
1999-10-06UpdatedDavid Aspinall
1999-10-06UpdatedDavid Aspinall
1999-10-06UpdatedDavid Aspinall
1999-10-06UpdatesDavid Aspinall
1999-10-06Admin changes for version 2.2.David Aspinall
1999-10-06Updates.David Aspinall
1999-09-30Added comments about using enriched mode or similar for prover output markup.David Aspinall
1999-09-29bug when prover gives error from proof-find (or similar).David Aspinall
1999-09-29Updated.David Aspinall
1999-09-29Added proof-script-command-separator. Needs work.David Aspinall
1999-09-29Putative enhancements mentioned.David Aspinall
1999-09-29Updated.David Aspinall
1999-09-29Re-enabled and renamed proof-send-span: becomes proof-copy-span bound to ↵David Aspinall
C-button1
1999-09-28UpdatedDavid Aspinall
1999-09-28UpdatedDavid Aspinall
1999-09-28Note about syntaxDavid Aspinall
1999-09-23UpdatedDavid Aspinall
1999-09-21Made desired usability changes more explicit and detailed.David Aspinall
Mentioned output formatting spurious newlines issue for Isabelle.
1999-09-13Reorganized and formatted, added some items.David Aspinall
1999-09-13Mention splash screen and that XEmacs can't display transparent gifsDavid Aspinall
1999-08-27UpdatedDavid Aspinall
1999-08-27UpdatedDavid Aspinall
1999-08-23New itemsDavid Aspinall
1999-08-23Updates.David Aspinall
1999-08-20updated.David Aspinall
1999-08-20Improvement for C-c C-o mentionedDavid Aspinall
1999-08-20Added todo for pre 2.1 testingDavid Aspinall
1999-08-17Web page todo for smaller screens.David Aspinall
1999-08-17Updated for web pages, now only low-priority.David Aspinall
1999-07-22UpdatedDavid Aspinall
1999-07-05todo for web pagesDavid Aspinall
1999-07-03todo for htmlDavid Aspinall
1999-06-30Note about compilationDavid Aspinall
1999-06-30*** empty log message ***Patrick Loiseleur
1999-06-28todo for web pagesDavid Aspinall
1999-06-24Updates for new web pages, todo list.David Aspinall
1999-06-15Removed proof shell kill bugDavid Aspinall
1999-06-07Added todo for XEmacs packaging, reordered.David Aspinall
1999-06-07Downrated Poly/ML related item since Poly is defunct.David Aspinall
1999-05-11todo for reorganizing menus.David Aspinall
1999-04-07Merged changes sent by Patrick Loiseleur.David Aspinall
1999-03-08Idea for proof-auto-retract, notes about proof-strict-read-onlyDavid Aspinall
1999-02-22Updated. Explained Coq syntax prob for proof-goal-command-pDavid Aspinall
1999-02-01Idea to have a mailing list for PG.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-05 00:02:38 +0000