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
*
Removed some.
David Aspinall
1998-10-07
*
Rearranged a bit, added some, removed some.
David Aspinall
1998-10-07
*
Major revision after business lunch with da
Thomas Kleymann
1998-10-02
*
changed maintainer information to lego@dcs and isabelle@dcs .
Thomas Kleymann
1998-10-02
*
Added todo for proof-goal-command, proof-save-command
David Aspinall
1998-10-02
*
Added todo for next/previous functions.
David Aspinall
1998-10-01
*
Updated.
David Aspinall
1998-10-01
*
coqtags is now Perl5 compatible - courtesy of hhg
Thomas Kleymann
1998-10-01
*
Added X-rated item about distribution Makefile.
David Aspinall
1998-09-24
*
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
[next]