aboutsummaryrefslogtreecommitdiff
path: root/todo
AgeCommit message (Expand)Author
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
1998-11-02fixed minor bugsThomas Kleymann
1998-11-01o added support for byte-compilationThomas Kleymann
1998-10-30implemented new buffer model. The goals buffer is now exclusivelyThomas Kleymann
1998-10-30replaced some occurences of (current-buffer) by proof-shell-buffer toThomas Kleymann
1998-10-29Multiple files bug fix requestDavid Aspinall
1998-10-29Items removed, items added.David Aspinall
1998-10-28Added low-level priority todoDavid Aspinall
1998-10-28rearranged code to avoid compiler warning messagesThomas Kleymann
1998-10-27Byte comp itemDavid Aspinall
1998-10-27Made handling of multiple files more robust. On changing scriptThomas Kleymann
1998-10-27Demoted some priorities to X and moved down listDavid Aspinall
1998-10-27Begun work on clean byte compilation / clarifying interfaces.David Aspinall
1998-10-27Priority changesDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 04:12:08 +0000