aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Hooray, I proved a theorem.Gravatar David Aspinall2000-03-23
* Updated for 3.1, removed appendix.Gravatar David Aspinall2000-03-23
* 3.1 available nowGravatar David Aspinall2000-03-23
* Fix name of HOL98.Gravatar David Aspinall2000-03-23
* Notes about using on WindowsGravatar David Aspinall2000-03-23
* 3.0 becomes an old release.Gravatar David Aspinall2000-03-23
* Remove attempts at elisp markup, screwy regexps somewhere or php buggy.Gravatar David Aspinall2000-03-23
* Updated Isabelle home page.Gravatar David Aspinall2000-03-23
* Updated, split by Emacs-specificityGravatar David Aspinall2000-03-23
* Let Windows use the toolbar too.Gravatar David Aspinall2000-03-23
* added 'moreover';Gravatar Makarius Wenzel2000-03-23
* Set version tag for new release.Gravatar David Aspinall2000-03-22
* Updated todo's.Gravatar David Aspinall2000-03-22
* Updated and cleaned upGravatar David Aspinall2000-03-22
* Updated and cleaned upGravatar David Aspinall2000-03-22
* Fix for activating multiple frames when no active scripting buffer.Gravatar David Aspinall2000-03-22
* Bug fix for electric terminator used inside locked region.Gravatar David Aspinall2000-03-22
* Rename proof-shell-string-escapes -> proof-shell-filename-escapesGravatar David Aspinall2000-03-22
* Set proof-shell-filename-escapes, switch back to %sGravatar David Aspinall2000-03-22
* Notes about strange filenamesGravatar David Aspinall2000-03-22
* Switch back to %s, rename proof-shell-string-escapes -> proof-shell-filename-...Gravatar David Aspinall2000-03-22
* Use proof-format-filename instead of format on cmds with file parameter.Gravatar David Aspinall2000-03-22
* Added todo.Gravatar David Aspinall2000-03-22
* Comment about tripping bug in IsabelleGravatar David Aspinall2000-03-22
* Document use of %e in proof-shell-inform-file-{processed,retracted}-cmd.Gravatar David Aspinall2000-03-22
* Fix other file commands to use %e substitution.Gravatar David Aspinall2000-03-22
* Added test files to check stupid filename for directories.Gravatar David Aspinall2000-03-22
* Use new format character %s to %e to cope with nasty filenames with backslashes.Gravatar David Aspinall2000-03-22
* docstringGravatar David Aspinall2000-03-22
* Added utility functions proof-format, proof-format-filename.Gravatar David Aspinall2000-03-22
* Added new customization: proof-shell-string-escapes.Gravatar David Aspinall2000-03-22
* Mention %e in doc for proof-shell-cd-cmd.Gravatar David Aspinall2000-03-22
* Added new customization: proof-shell-string-escapes.Gravatar David Aspinall2000-03-22
* Suggest links on same page.Gravatar David Aspinall2000-03-22
* transparent cd;Gravatar Makarius Wenzel2000-03-22
* removed "thence";Gravatar Makarius Wenzel2000-03-19
* Remove comma from section heading, bad for info.Gravatar David Aspinall2000-03-19
* Set version tag for new release.Gravatar David Aspinall2000-03-19
* Added proof-{mode}-font-lock-keywords configuration settings (used by easy-co...Gravatar David Aspinall2000-03-19
* Altered syntax a little bit so reset works for Section.Gravatar David Aspinall2000-03-19
* Updated.Gravatar David Aspinall2000-03-19
* UpdatedGravatar David Aspinall2000-03-19
* Ack ETLGravatar David Aspinall2000-03-19
* CommentGravatar David Aspinall2000-03-19
* Added setting for silent mode.Gravatar David Aspinall2000-03-19
* More reliable prompt regexpGravatar David Aspinall2000-03-19
* Added keybinding, improved doc for proof-undo-and-delete-last-successful-comm...Gravatar David Aspinall2000-03-19
* UpdatedGravatar David Aspinall2000-03-19
* Added menu entry for proof-undo-and-delete-last-successful-commandGravatar David Aspinall2000-03-19
* Improved links, new project on ACS.Gravatar David Aspinall2000-03-19
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 20:45:43 +0000