aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-script.el
diff options
context:
space:
mode:
authorThomas Kleymann1998-11-01 19:24:34 +0000
committerThomas Kleymann1998-11-01 19:24:34 +0000
commitc25e3c1a1c3c12a81f90b0a20321ca9734634032 (patch)
treec9f28dc5bdde334f820253ec8276856643b74119 /generic/proof-script.el
parent00c337af2ea574baf01a26581b80aa1fd955e2f0 (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