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
*
Item for toolbar icons in low-colour modes
David Aspinall
1998-09-24
*
Added todo for making completion more flexible, not nec. using tags
David Aspinall
1998-09-23
*
Removed toolbar stuff, added items about user-level functions and read-only
David Aspinall
1998-09-23
*
Added item about proof-terminal-string
David Aspinall
1998-09-17
*
Added test schedule item
David Aspinall
1998-09-16
*
Documentation acknowleges use of three type of buffers:
Thomas Kleymann
1998-09-16
*
Removed item about toolbar error message to do with process handling.
David Aspinall
1998-09-16
*
Added low-priority item about improving process handling.
David Aspinall
1998-09-16
*
DONE: Reduced number of colours used in icons
David Aspinall
1998-09-14
*
Added toolbar todos discussed at business lunch with tms
David Aspinall
1998-09-14
*
added todo for fixing buggy web pages
David Aspinall
1998-09-14
*
Added some more things
David Aspinall
1998-09-11
*
Done .xbm's and Makefile targets. Added TODO for locked region per file.
David Aspinall
1998-09-10
*
Reengineering efforts to exploit 3 buffer model now top priority
Thomas Kleymann
1998-09-10
*
Updated
David Aspinall
1998-09-09
*
*** empty log message ***
Thomas Kleymann
1998-09-09
*
Added todos for toolbar.
David Aspinall
1998-09-08
*
Added items, assigned some to da
David Aspinall
1998-09-08
*
assigned a task to tms
Thomas Kleymann
1998-09-08
*
A Sometimes e.g., ~tms/lego/imperative/recursion/Prepare_vc.l,
Thomas Kleymann
1998-09-03
*
Requirement for test script added
David Aspinall
1998-09-03
*
Dead code.
David Aspinall
1998-09-03
*
Added some items.
David Aspinall
1998-09-03
*
Added more items.
David Aspinall
1998-09-03
*
o rearranged Release entry
Thomas Kleymann
1998-09-02
*
Added make-ready for distribtion item. (2h, da)
David Aspinall
1998-09-02
*
integrated comments following 1 Sep 98 discussion with Dave Aspinall
Thomas Kleymann
1998-09-01
*
todo
David Aspinall
1998-08-27
*
todo
David Aspinall
1998-08-21
*
improved help submenu for LEGO
Thomas Kleymann
1998-08-14
*
*** empty log message ***
Thomas Kleymann
1998-08-07
*
Structured review now done.
Healfdene Goguen
1998-06-02
*
o outsourced indentation to proof-indent
Thomas Kleymann
1998-05-29
*
Necessary changes for emacs19 version
Healfdene Goguen
1998-05-26
*
Changing buffers now works.
Healfdene Goguen
1998-05-21
*
Fixed lifting globals.
Healfdene Goguen
1998-05-21
*
Removed indentation problem.
Healfdene Goguen
1998-05-19
*
*** empty log message ***
Thomas Kleymann
1998-05-16
*
Added problem with indentation.
Healfdene Goguen
1998-05-15
*
revised in light of today's meeting with hhg
Thomas Kleymann
1998-05-13
*
Added documentation for C-c C-s in Coq mode.
Healfdene Goguen
1998-05-12
*
Updated todo list.
Healfdene Goguen
1998-05-08
*
Coq now restarts if going back to beginning of proof.
Healfdene Goguen
1998-05-05
*
prioritised
Thomas Kleymann
1998-02-11
*
*** empty log message ***
Thomas Kleymann
1998-02-10
*
One needed change for coq included
Healfdene Goguen
1998-01-15
*
*** empty log message ***
Thomas Kleymann
1997-12-18
*
Noted bug in popup-eager-annotation
Dilip Sequiera
1997-11-26
*
A few new suggestions
Healfdene Goguen
1997-11-26
*
Fixed outstanding things to be updated in Coq.
Healfdene Goguen
1997-11-20
[next]