aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2000-03-23removed 'kill_proof';Makarius Wenzel
added 'variables';
2000-03-23CommentDavid Aspinall
2000-03-23Set version tag for new release.David Aspinall
2000-03-23First release attemptDavid Aspinall
2000-03-23Newline.David Aspinall
2000-03-23Update with Windows instructions, note about X-Symbol not on WindowsDavid Aspinall
2000-03-23Set version tag for new release.David Aspinall
2000-03-23Added link for zip fileDavid Aspinall
2000-03-23Updated for 3.1 releaseDavid Aspinall
2000-03-23Updated to add me.David Aspinall
2000-03-23Fix for XEmacs noteDavid Aspinall
2000-03-23Added zip file buildDavid Aspinall
2000-03-23Updated for 3.1David Aspinall
2000-03-23Made magic.David Aspinall
2000-03-23Hooray, I proved a theorem.David Aspinall
2000-03-23Updated for 3.1, removed appendix.David Aspinall
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 -> ↵David Aspinall
proof-shell-filename-escapes, and always apply for filename substn.
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-25 09:49:01 +0000