aboutsummaryrefslogtreecommitdiffhomepage
path: root/todo
Commit message (Expand)AuthorAge
* 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
* Removed web page validate, has been done.Gravatar David Aspinall1998-10-14
* Added todo for removing image targets from repository.Gravatar David Aspinall1998-10-14
* Added suggestion about simplifying instantiationGravatar David Aspinall1998-10-14
* Added some items suggested by Markus Wenzel.Gravatar David Aspinall1998-10-14
* Disabled font-lock in process bufferGravatar Thomas Kleymann1998-10-13
* Note about proof-restart-scriptGravatar David Aspinall1998-10-12
* Removed A* items done. Raised importance of FSF Emacs bug fix to A.Gravatar David Aspinall1998-10-12
* Added note about odd message during RPM build.Gravatar David Aspinall1998-10-12
* Added todo for proof-issue-goal, proof-issue-save.Gravatar David Aspinall1998-10-12
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 16:15:50 +0000