aboutsummaryrefslogtreecommitdiff
path: root/todo
AgeCommit message (Expand)Author
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
1999-02-01Fixed matching. Added todo for making some code more generic.David Aspinall
1999-01-27Added TODO for syntax matching problem.David Aspinall
1999-01-23. Clarified LEGO specific TODOThomas Kleymann
1999-01-21Updated. Time estimates and doc todo.David Aspinall
1999-01-21Updated. Long standing pty overflow bug fixed. We registration page wanted.David Aspinall
1999-01-15todo for testing solaris bug fixDavid Aspinall
1999-01-15Added todo for licence clarification after query from a user.David Aspinall
1999-01-15Web page links to Proof General from provers now added.David Aspinall
1999-01-13added links from LEGO Web pageThomas Kleymann
1999-01-12Raised priority of Solaris bug/problem.David Aspinall
1998-12-17Added todo for simplifying main download page, linking to pre-release.David Aspinall
1998-12-16Note about texinfo menu update.David Aspinall
1998-12-16Todo for putting Info somewhere good in the dir.David Aspinall
1998-12-16Made outstanding bugs we haven't investigated a single A item.David Aspinall
1998-12-16Removed all urgent TODOs for 2.0David Aspinall
1998-12-16Removed suspected bug mentioned by David von O. Now assumed toDavid Aspinall
1998-12-15Removed done stuff. Added LEGO cd hook todo.David Aspinall
1998-12-15Fixes for FSF Emacs handling of processes, kill buffer hooks,David Aspinall
1998-12-11More comments about multiple file problemsDavid Aspinall
1998-12-11Urgent fix for multiple files wanted.David Aspinall
1998-12-11todo for Isabelle multiple files.David Aspinall
1998-12-11UpdatesDavid Aspinall
1998-12-11Added some items after user feedback. Also some *** probs.David Aspinall
1998-12-08Added A*** for documentation, X for ChangeLog in devel distrib.David Aspinall
1998-12-05Added new todos for LEGO.David Aspinall
1998-11-26Added note about final things to do for 2.0David Aspinall
1998-11-26Added note about bugs elsewhere. Display issues. Tech rep todosDavid Aspinall
1998-11-25Added 20.3 version of FSF Emacs and todo for each release.David Aspinall
1998-11-25Updated. Added item for process early exiting.David Aspinall
1998-11-25note about incomplete goal..save sequences.David Aspinall
1998-11-25UpdatedDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-19 05:01:19 +0000