| 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
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
tars (why was it done?).
|
|
|
|
present in X-Symbol-3.3e; should not cause problems with older
versions);
|
|
|
|
|
|
|
|
details, correct emails.
|
|
buffer-syntactic-context
|
|
|
|
|
|
|
|
|
|
added comment about output performance;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
