index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
todo
Commit message (
Expand
)
Author
Age
*
Added low-level priority todo
David Aspinall
1998-10-28
*
rearranged code to avoid compiler warning messages
Thomas Kleymann
1998-10-28
*
Byte comp item
David Aspinall
1998-10-27
*
Made handling of multiple files more robust. On changing script
Thomas Kleymann
1998-10-27
*
Demoted some priorities to X and moved down list
David Aspinall
1998-10-27
*
Begun work on clean byte compilation / clarifying interfaces.
David Aspinall
1998-10-27
*
Priority changes
David Aspinall
1998-10-27
*
Fixed urgent message stuff. proof-shell-process-urgent-messages
David Aspinall
1998-10-27
*
Checked through span code. Commented out dead bits
David Aspinall
1998-10-27
*
Renamed proof-invisible-command proof-shell-invisible-command.
David Aspinall
1998-10-27
*
*** empty log message ***
Thomas Kleymann
1998-10-26
*
Updated
David Aspinall
1998-10-26
*
WARNING message about pending changes
David Aspinall
1998-10-23
*
Updated todo's for isabelle
David Aspinall
1998-10-23
*
Added todo for clean byte compile
David Aspinall
1998-10-22
*
renamed fume-match-find-next-function-name
Thomas Kleymann
1998-10-22
*
fixed bug in fume-match-find-next-function-name
Thomas Kleymann
1998-10-22
*
Added notes on Isa multi files, web page improvements
David Aspinall
1998-10-22
*
*** empty log message ***
Thomas Kleymann
1998-10-21
*
Added todo for save-some-buffers
David Aspinall
1998-10-21
*
Added code to register fully processed file. Multiple file fix list updated
David Aspinall
1998-10-21
*
todos for multi files and Isabelle annotations
David Aspinall
1998-10-21
*
Reverted
David Aspinall
1998-10-20
*
Test for new branch commit
David Aspinall
1998-10-20
*
Added todo for FSF Emacs info file
David Aspinall
1998-10-20
*
Updated screenshot.
David Aspinall
1998-10-20
*
Screenshot is out of date
Thomas Kleymann
1998-10-20
*
reordered two items
Thomas Kleymann
1998-10-19
*
todo for multiple files in Isabelle
David Aspinall
1998-10-19
*
Added todo for Isabelle multiple files
David Aspinall
1998-10-19
*
Added todo for byte-compilation
David Aspinall
1998-10-19
*
support for nested goals is now restricted to Coq
Thomas Kleymann
1998-10-18
*
Reimplemented multiple file proof developments
Thomas Kleymann
1998-10-18
*
added B item for Release
Thomas Kleymann
1998-10-15
*
*** empty log message ***
Thomas Kleymann
1998-10-15
*
*** empty log message ***
Thomas Kleymann
1998-10-15
*
Removed web page validate, has been done.
David Aspinall
1998-10-14
*
Added todo for removing image targets from repository.
David Aspinall
1998-10-14
*
Added suggestion about simplifying instantiation
David Aspinall
1998-10-14
*
Added some items suggested by Markus Wenzel.
David Aspinall
1998-10-14
*
Disabled font-lock in process buffer
Thomas Kleymann
1998-10-13
*
Note about proof-restart-script
David Aspinall
1998-10-12
*
Removed A* items done. Raised importance of FSF Emacs bug fix to A.
David Aspinall
1998-10-12
*
Added note about odd message during RPM build.
David Aspinall
1998-10-12
*
Added todo for proof-issue-goal, proof-issue-save.
David Aspinall
1998-10-12
*
Added message about bug in proof-shell-handle-output on FSF Emacs
David Aspinall
1998-10-12
*
Added message about bug in proof-retract-until-point.
David Aspinall
1998-10-12
*
Removed some stuff thats been done.
David Aspinall
1998-10-12
*
Reordered some X's
David Aspinall
1998-10-12
*
Addded todo for proof-quit-command. Doc string note
David Aspinall
1998-10-09
[next]