| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
to tms but he said he wouldn't get around to it)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
General specific bugs is still missing.
|
|
|
|
o new chapter on support for other packages
o updated section on fume-func
|
|
|
|
|
|
be a handy menu item to switch to the shell buffer.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
o removed hhg tags in todo
o fixed font-lock for FSF Emacs 20.2
o ensured that goals buffer is updated for longer queues
o fixed a bug in proof-universal-keys-only-mode
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
COQ: C-c u inside a Section should reset the whole section, then
redo defns
LEGO: consider Discharge; perhaps unrol to the beginning of the
module?
The suggested mechanism subsumes the current setup for normal commands
and goalsave properties.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
directed graphs, a five minute discussion with Dave has led to a
revised specification for handling multiple files. This should be
easier to implement and more efficient. Directed graphs are
no longer required.
|
|
|
|
|
