diff options
| author | Thomas Kleymann | 1998-11-01 19:24:34 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-11-01 19:24:34 +0000 |
| commit | c25e3c1a1c3c12a81f90b0a20321ca9734634032 (patch) | |
| tree | c9f28dc5bdde334f820253ec8276856643b74119 /generic/proof-script.el | |
| parent | 00c337af2ea574baf01a26581b80aa1fd955e2f0 (diff) | |
o added support for byte-compilation
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
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions