aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-03-233.1 available nowDavid Aspinall
2000-03-23Fix name of HOL98.David Aspinall
2000-03-23Notes about using on WindowsDavid Aspinall
2000-03-233.0 becomes an old release.David Aspinall
2000-03-23Remove attempts at elisp markup, screwy regexps somewhere or php buggy.David Aspinall
2000-03-23Updated Isabelle home page.David Aspinall
2000-03-23Updated, split by Emacs-specificityDavid Aspinall
2000-03-23Let Windows use the toolbar too.David Aspinall
2000-03-23added 'moreover';Makarius Wenzel
2000-03-22Set version tag for new release.David Aspinall
2000-03-22Updated todo's.David Aspinall
2000-03-22Updated and cleaned upDavid Aspinall
2000-03-22Updated and cleaned upDavid Aspinall
2000-03-22Fix for activating multiple frames when no active scripting buffer.David Aspinall
2000-03-22Bug fix for electric terminator used inside locked region.David Aspinall
2000-03-22Rename proof-shell-string-escapes -> proof-shell-filename-escapesDavid Aspinall
2000-03-22Set proof-shell-filename-escapes, switch back to %sDavid Aspinall
2000-03-22Notes about strange filenamesDavid Aspinall
2000-03-22Switch back to %s, rename proof-shell-string-escapes -> proof-shell-filename-...David Aspinall
2000-03-22Use proof-format-filename instead of format on cmds with file parameter.David Aspinall
2000-03-22Added todo.David Aspinall
2000-03-22Comment about tripping bug in IsabelleDavid Aspinall
2000-03-22Document use of %e in proof-shell-inform-file-{processed,retracted}-cmd.David Aspinall
2000-03-22Fix other file commands to use %e substitution.David Aspinall
2000-03-22Added test files to check stupid filename for directories.David Aspinall
2000-03-22Use new format character %s to %e to cope with nasty filenames with backslashes.David Aspinall
2000-03-22docstringDavid Aspinall
2000-03-22Added utility functions proof-format, proof-format-filename.David Aspinall
2000-03-22Added new customization: proof-shell-string-escapes.David Aspinall
2000-03-22Mention %e in doc for proof-shell-cd-cmd.David Aspinall
2000-03-22Added new customization: proof-shell-string-escapes.David Aspinall
2000-03-22Suggest links on same page.David Aspinall
2000-03-22transparent cd;Makarius Wenzel
2000-03-19removed "thence";Makarius Wenzel
2000-03-19Remove comma from section heading, bad for info.David Aspinall
2000-03-19Set version tag for new release.David Aspinall
2000-03-19Added proof-{mode}-font-lock-keywords configuration settings (used by easy-co...David Aspinall
2000-03-19Altered syntax a little bit so reset works for Section.David Aspinall
2000-03-19Updated.David Aspinall
2000-03-19UpdatedDavid Aspinall
2000-03-19Ack ETLDavid Aspinall
2000-03-19CommentDavid Aspinall
2000-03-19Added setting for silent mode.David Aspinall
2000-03-19More reliable prompt regexpDavid Aspinall
2000-03-19Added keybinding, improved doc for proof-undo-and-delete-last-successful-comm...David Aspinall
2000-03-19UpdatedDavid Aspinall
2000-03-19Added menu entry for proof-undo-and-delete-last-successful-commandDavid Aspinall
2000-03-19Improved links, new project on ACS.David Aspinall
2000-03-19Added settings for silent control. Also some minor support for Section.David Aspinall
2000-03-19Added settings for silent control.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 00:07:31 +0000