| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
to tms but he said he wouldn't get around to it)
|
|
Disabled by default. May be activated by particular proof assistants
if they feel confident about it. I don't.
Made proof-indent be autoloaded as needed. Lets pray it won't be.
|
|
|
|
General specific bugs is still missing.
|
|
be a handy menu item to switch to the shell buffer.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Done. :-)
|
|
|
|
|
|
|
|
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
|
|
reserved for goals.
|
|
make code more robust
|
|
|
|
|
|
|
|
|
|
|
|
buffers, we invoke (save-some-buffers). Furthermore, we warn the user
if modified buffers have been read in by the proof assistant.
|
|
|
|
|
|
|
