| Age | Commit message (Collapse) | Author |
|---|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
safe default of empty string (now will have error msgs from filter)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
