aboutsummaryrefslogtreecommitdiff
path: root/todo
AgeCommit message (Expand)Author
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
1998-11-25UpdatedDavid Aspinall
1998-11-25UpdatedDavid Aspinall
1998-11-25Updated.David Aspinall
1998-11-25UpdatesDavid Aspinall
1998-11-20Start of urgent messagesDavid Aspinall
1998-11-20Added some suggestions from Markus WenzelDavid Aspinall
1998-11-12More re-ordering to move important stuff up the listDavid Aspinall
1998-11-12Note about atrocious performance of proof-sement-up-to, even when compiled.David Aspinall
1998-11-12Reorganized.David Aspinall
1998-11-12Fixed bug with find-next-terminator.David Aspinall
1998-11-12Added note about removing proof-goal-command-pDavid Aspinall
1998-11-10Added X idea for using indirect buffers.David Aspinall
1998-11-10Removed references of proof-shell-noise-regexpThomas Kleymann
1998-11-10documented problem with Discharge in LEGOThomas Kleymann
1998-11-10Refresh response buffer when goals buffer is refreshed.Thomas Kleymann
1998-11-10Removed traces of support for Ruy's legogrep. This is superseded by legotags.Thomas Kleymann
1998-11-09Added proof-rsh-command to help complete documentation (was allocatedDavid Aspinall
1998-11-09Added proof-script-indent user option, to enable indentation code.David Aspinall
1998-11-09Reduced a priority. Added release todoDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 14:02:31 +0000