aboutsummaryrefslogtreecommitdiffhomepage
path: root/todo
Commit message (Expand)AuthorAge
...
* Added A*** for documentation, X for ChangeLog in devel distrib.Gravatar David Aspinall1998-12-08
* Added new todos for LEGO.Gravatar David Aspinall1998-12-05
* Added note about final things to do for 2.0Gravatar David Aspinall1998-11-26
* Added note about bugs elsewhere. Display issues. Tech rep todosGravatar David Aspinall1998-11-26
* Added 20.3 version of FSF Emacs and todo for each release.Gravatar David Aspinall1998-11-25
* Updated. Added item for process early exiting.Gravatar David Aspinall1998-11-25
* note about incomplete goal..save sequences.Gravatar David Aspinall1998-11-25
* UpdatedGravatar David Aspinall1998-11-25
* UpdatedGravatar David Aspinall1998-11-25
* UpdatedGravatar David Aspinall1998-11-25
* Updated.Gravatar David Aspinall1998-11-25
* UpdatesGravatar David Aspinall1998-11-25
* Start of urgent messagesGravatar David Aspinall1998-11-20
* Added some suggestions from Markus WenzelGravatar David Aspinall1998-11-20
* More re-ordering to move important stuff up the listGravatar David Aspinall1998-11-12
* Note about atrocious performance of proof-sement-up-to, even when compiled.Gravatar David Aspinall1998-11-12
* Reorganized.Gravatar David Aspinall1998-11-12
* Fixed bug with find-next-terminator.Gravatar David Aspinall1998-11-12
* Added note about removing proof-goal-command-pGravatar David Aspinall1998-11-12
* Added X idea for using indirect buffers.Gravatar David Aspinall1998-11-10
* Removed references of proof-shell-noise-regexpGravatar Thomas Kleymann1998-11-10
* documented problem with Discharge in LEGOGravatar Thomas Kleymann1998-11-10
* Refresh response buffer when goals buffer is refreshed.Gravatar Thomas Kleymann1998-11-10
* Removed traces of support for Ruy's legogrep. This is superseded by legotags.Gravatar Thomas Kleymann1998-11-10
* Added proof-rsh-command to help complete documentation (was allocatedGravatar David Aspinall1998-11-09
* Added proof-script-indent user option, to enable indentation code.Gravatar David Aspinall1998-11-09
* Reduced a priority. Added release todoGravatar David Aspinall1998-11-09
* completed chapter on Known bugs. However section on Isabelle ProofGravatar Thomas Kleymann1998-11-05
* first draft of Advanced Script Management section; I assume there willGravatar Thomas Kleymann1998-11-04
* Added item for func-menu and proof-save-goal-with-hole-regexpGravatar David Aspinall1998-11-04
* Added two new todosGravatar David Aspinall1998-11-03
* Customization problems todoGravatar David Aspinall1998-11-03
* Func menu problems, note addedGravatar David Aspinall1998-11-03
* Added some itemsGravatar David Aspinall1998-11-03
* minor changesGravatar Thomas Kleymann1998-11-03
* A* Fix display handling problems (tms, all week)Gravatar Thomas Kleymann1998-11-03
* Added menu item todoGravatar David Aspinall1998-11-02
* Updates, removals and additionsGravatar David Aspinall1998-11-02
* fixed minor bugsGravatar Thomas Kleymann1998-11-02
* o added support for byte-compilationGravatar Thomas Kleymann1998-11-01
* implemented new buffer model. The goals buffer is now exclusivelyGravatar Thomas Kleymann1998-10-30
* replaced some occurences of (current-buffer) by proof-shell-buffer toGravatar Thomas Kleymann1998-10-30
* Multiple files bug fix requestGravatar David Aspinall1998-10-29
* Items removed, items added.Gravatar David Aspinall1998-10-29
* Added low-level priority todoGravatar David Aspinall1998-10-28
* rearranged code to avoid compiler warning messagesGravatar Thomas Kleymann1998-10-28
* Byte comp itemGravatar David Aspinall1998-10-27
* Made handling of multiple files more robust. On changing scriptGravatar Thomas Kleymann1998-10-27
* Demoted some priorities to X and moved down listGravatar David Aspinall1998-10-27
* Begun work on clean byte compilation / clarifying interfaces.Gravatar David Aspinall1998-10-27
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-24 13:46:36 +0000