aboutsummaryrefslogtreecommitdiff
path: root/todo
AgeCommit message (Expand)Author
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
1998-11-05completed chapter on Known bugs. However section on Isabelle ProofThomas Kleymann
1998-11-04first draft of Advanced Script Management section; I assume there willThomas Kleymann
1998-11-04Added item for func-menu and proof-save-goal-with-hole-regexpDavid Aspinall
1998-11-03Added two new todosDavid Aspinall
1998-11-03Customization problems todoDavid Aspinall
1998-11-03Func menu problems, note addedDavid Aspinall
1998-11-03Added some itemsDavid Aspinall
1998-11-03minor changesThomas Kleymann
1998-11-03A* Fix display handling problems (tms, all week)Thomas Kleymann
1998-11-02Added menu item todoDavid Aspinall
1998-11-02Updates, removals and additionsDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 16:04:51 +0000