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
*
first draft of Advanced Script Management section; I assume there will
Thomas Kleymann
1998-11-04
*
Added item for func-menu and proof-save-goal-with-hole-regexp
David Aspinall
1998-11-04
*
Added two new todos
David Aspinall
1998-11-03
*
Customization problems todo
David Aspinall
1998-11-03
*
Func menu problems, note added
David Aspinall
1998-11-03
*
Added some items
David Aspinall
1998-11-03
*
minor changes
Thomas Kleymann
1998-11-03
*
A* Fix display handling problems (tms, all week)
Thomas Kleymann
1998-11-03
*
Added menu item todo
David Aspinall
1998-11-02
*
Updates, removals and additions
David Aspinall
1998-11-02
*
fixed minor bugs
Thomas Kleymann
1998-11-02
*
o added support for byte-compilation
Thomas Kleymann
1998-11-01
*
implemented new buffer model. The goals buffer is now exclusively
Thomas Kleymann
1998-10-30
*
replaced some occurences of (current-buffer) by proof-shell-buffer to
Thomas Kleymann
1998-10-30
*
Multiple files bug fix request
David Aspinall
1998-10-29
*
Items removed, items added.
David Aspinall
1998-10-29
*
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
[next]