aboutsummaryrefslogtreecommitdiffhomepage
path: root/todo
Commit message (Expand)AuthorAge
* 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
* Priority changesGravatar David Aspinall1998-10-27
* Fixed urgent message stuff. proof-shell-process-urgent-messagesGravatar David Aspinall1998-10-27
* Checked through span code. Commented out dead bitsGravatar David Aspinall1998-10-27
* Renamed proof-invisible-command proof-shell-invisible-command.Gravatar David Aspinall1998-10-27
* *** empty log message ***Gravatar Thomas Kleymann1998-10-26
* UpdatedGravatar David Aspinall1998-10-26
* WARNING message about pending changesGravatar David Aspinall1998-10-23
* Updated todo's for isabelleGravatar David Aspinall1998-10-23
* Added todo for clean byte compileGravatar David Aspinall1998-10-22
* renamed fume-match-find-next-function-nameGravatar Thomas Kleymann1998-10-22
* fixed bug in fume-match-find-next-function-nameGravatar Thomas Kleymann1998-10-22
* Added notes on Isa multi files, web page improvementsGravatar David Aspinall1998-10-22
* *** empty log message ***Gravatar Thomas Kleymann1998-10-21
* Added todo for save-some-buffersGravatar David Aspinall1998-10-21
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-08 17:19:48 +0000