aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2004-04-21Update for V8 syntax.David Aspinall
2004-04-21Updated.David Aspinall
2004-04-21Set version tag for new release.David Aspinall
2004-04-21Updated.David Aspinall
2004-04-21Deleted the "3 buffers view menu entry" for coq, this is now aPierre Courtieu
proofgeneral menu entry (bug of the 3.5 release).
2004-04-21Tweak some textDavid Aspinall
2004-04-21Updated.David Aspinall
2004-04-18Set version tag for new release.David Aspinall
2004-04-18Set version tag for new release.David Aspinall
2004-04-18Set version tag for new release.David Aspinall
2004-04-18Updated.David Aspinall
2004-04-18Obey proof-eagerly-raise in proof-layout-windows.David Aspinall
2004-04-18Add proof-eagerly-raise setting, disable it for trace buffer.David Aspinall
2004-04-18Multiple frames annoyances, also proof-eagerly-raise setting.David Aspinall
2004-04-18Try to stop proof-delete-other-frames from bringing up newDavid Aspinall
frames only to delete them.
2004-04-18Try to stop frame proliferation: let proof-shell-start make frames,David Aspinall
proof-shell-kill tear them down. Add proof-shell-fiddle-frames incase this causes mass customer annoyance. Also move point of specifier setting to after mode has been configured for associated buffer; this makes settings persist better on XEmacs.
2004-04-18Add save-selected-frame for GNU EmacsDavid Aspinall
2004-04-18Comment about menu layout.David Aspinall
2004-04-18Comments.David Aspinall
2004-04-18Remove faulty compatiblity for XE 21.1David Aspinall
2004-04-17Set version tag for new release.David Aspinall
2004-04-17Tag for 3.5David Aspinall
2004-04-17Branch for 3.5 releaseDavid Aspinall
2004-04-17Branch for 3.5 releaseDavid Aspinall
2004-04-17Set version tag for new release.David Aspinall
2004-04-17Updated.David Aspinall
2004-04-17Updated magicDavid Aspinall
2004-04-17Updated.David Aspinall
2004-04-17Escape { and }David Aspinall
2004-04-17Add missing menu entry.David Aspinall
2004-04-17Set version tag for new release.David Aspinall
2004-04-17Updated.David Aspinall
2004-04-17Note about bad pgscripts editingDavid Aspinall
2004-04-17Updated.David Aspinall
2004-04-17Compiler warningsDavid Aspinall
2004-04-17Minor changes to avoid some compiler warningsDavid Aspinall
2004-04-17Fix bug in replace-in-string for GNU EmacsDavid Aspinall
2004-04-17Clean up, re-order, change priorities, remove done things.David Aspinall
2004-04-17Clarify that it is right to query saves in proof-retract-until-point's callDavid Aspinall
of proof-activate-scripting.
2004-04-17Updated.David Aspinall
2004-04-17Comments.David Aspinall
2004-04-17Fix isa-tool-list-docs for altered form of output from isatool docDavid Aspinall
2004-04-17Update magicDavid Aspinall
2004-04-17Update dates, update magic, doc proof-cannot-reopen-processed-files.David Aspinall
2004-04-17Numerous updates and improvements:David Aspinall
- Walkthrough changed from LEGO to Isabelle/Isar - Documentation of new shortcuts in Isar - Documentation of Isabelle's Settings/Logics choice - Documentation of PG Shell - Date updates, version updates - Personnel updates
2004-04-17Add shortcuts for new X-Symbol sequences.David Aspinall
2004-04-17Oops, remove junk.David Aspinall
2004-04-17Escape the string from substitute-command-keys in proof-defshortcut, ↵David Aspinall
proof-definvisible.
2004-04-17Comments.David Aspinall
2004-04-17Add proof-cannot-reopen-processed-files to fix behaviour of multiple files ↵David Aspinall
for Isabelle.
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-12 14:46:04 +0000