| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
proof-script-fly-past-comments
|
|
|
|
Tweaks to proof-script-generic-parse-cmdstart. Combine fly-past and coelesce comment options. Use proof-string-match-safe in generic-goal-command-p, to avoid error in Twelf.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2-pane mode
|
|
Add proof-with-script-buffer.
|
|
|
|
Remove support for obsolete 1-bit xbm images
Update comments
|
|
Unify goals and response menus with script buffer menu
|
|
Make toolbar commands work from non-scripting buffers
Add save file dialogue to proof-register-possibly-new-processed-file
|
|
|
|
|
|
|
|
|
|
buffer-syntactic-context
|
|
|
|
|
|
|
|
|
|
string-match instead).
|
|
|
|
font-lock-preprocessor-face in FSF Emacs.
|
|
|
|
|
|
|
|
proof-xxx-with-hole-regexp
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
proof-config to allow easier configuration.
|
