aboutsummaryrefslogtreecommitdiffhomepage
path: root/todo
Commit message (Expand)AuthorAge
* 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
* Added code to register fully processed file. Multiple file fix list updatedGravatar David Aspinall1998-10-21
* todos for multi files and Isabelle annotationsGravatar David Aspinall1998-10-21
* RevertedGravatar David Aspinall1998-10-20
* Test for new branch commitGravatar David Aspinall1998-10-20
* Added todo for FSF Emacs info fileGravatar David Aspinall1998-10-20
* Updated screenshot.Gravatar David Aspinall1998-10-20
* Screenshot is out of dateGravatar Thomas Kleymann1998-10-20
* reordered two itemsGravatar Thomas Kleymann1998-10-19
* todo for multiple files in IsabelleGravatar David Aspinall1998-10-19
* Added todo for Isabelle multiple filesGravatar David Aspinall1998-10-19
* Added todo for byte-compilationGravatar David Aspinall1998-10-19
* support for nested goals is now restricted to CoqGravatar Thomas Kleymann1998-10-18
* Reimplemented multiple file proof developmentsGravatar Thomas Kleymann1998-10-18
* added B item for ReleaseGravatar Thomas Kleymann1998-10-15
* *** empty log message ***Gravatar Thomas Kleymann1998-10-15
* *** empty log message ***Gravatar Thomas Kleymann1998-10-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-09 04:26:11 +0000