aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
1999-11-22Moved goto button.David Aspinall
1999-11-22Improved nothing to do error messageDavid Aspinall
1999-11-22Fix a couple of group names, and comments at top of file.David Aspinall
1999-11-22Fix so clicking on url works in bug reportDavid Aspinall
1999-11-19Set version tag for new release.David Aspinall
1999-11-19Fixed info probs. xrefs are a complete nonsense in info.David Aspinall
1999-11-19Magic updatedDavid Aspinall
1999-11-19UpdatedDavid Aspinall
1999-11-19TypoDavid Aspinall
1999-11-19Many updates and improvements (not finished yet)David Aspinall
1999-11-19Fixup branchDavid Aspinall
1999-11-19Renamed fileDavid Aspinall
1999-11-19Added simplified interaction sectionDavid Aspinall
1999-11-19Additions for pdf version; needs hack to my pdftexinfo.tex to workDavid Aspinall
1999-11-19More todo's??? Surely notDavid Aspinall
1999-11-19Fix for proof-script-new-command-advance.David Aspinall
1999-11-19UpdatedDavid Aspinall
1999-11-19Added goto buttonDavid Aspinall
1999-11-19Fix branchDavid Aspinall
1999-11-19New buttonDavid Aspinall
1999-11-19Added goto button.David Aspinall
1999-11-19Button for proof-goto-point action.David Aspinall
1999-11-19Added texi-docstring-magic-untabify to fix tabs in docstrings.David Aspinall
1999-11-19Added pbp-yank-subterm, changed mouse bindings for goals buffer.David Aspinall
1999-11-19docstringDavid Aspinall
1999-11-19Removed spurious defn of proof-config.elDavid Aspinall
1999-11-19Added by defvars x-symbol-isa-name, x-symbol-isa-modeline-name so can use ↵David Aspinall
this file without PG
1999-11-19Added note about C-c RET broken on console.David Aspinall
1999-11-19Fix proof-try-require for FSF Emacs.David Aspinall
1999-11-18Set version tag for new release.David Aspinall
1999-11-18Don't bother put extra modes on auto-mode-alist, rely on proof-x-symbol to ↵David Aspinall
do the job.
1999-11-18Removed comment.David Aspinall
1999-11-18UpdatedDavid Aspinall
1999-11-18Call it functions menu, that's its name. Spacing.David Aspinall
1999-11-18TrivialDavid Aspinall
1999-11-18Section on what you need for PGDavid Aspinall
1999-11-18Fixed a broken link. Rephrased some bits.David Aspinall
1999-11-18Junk proof-xsym-toggle-hookDavid Aspinall
1999-11-18Updates to Preface.David Aspinall
1999-11-18Attempted patch no.1David Aspinall
1999-11-18Use new function proof-try-require instead of condition-case ...David Aspinall
Make switching on/off possibly more smooth by cleaning response buffer and sending show proof command to proof assistant. Also, when turning on/off run proof-x-symbol-mode in all buffers in proof-xsym-extra-modes. Nice for Isabelle theories.
1999-11-18Automatically generate special-display-regexps entry, andDavid Aspinall
add function for new multiple frames user option. Don't display "done" in goals buffer (may never happen anyway) Remove code for response buffer erasing. Clean some comments.
1999-11-18Changed eval-when-compile to eval-when (compile).David Aspinall
Made a new menu for quick options editing, put it in shared menu. Added options for multiple frames, auto delete windows. Toolbar :active is now more sringent, must be in script buffer. Use proof-try-require to load func-menu in mode definition, solving problem of func-menu configuration before it's loaded. Cleaned up some comments.
1999-11-18Moved response buffer code here.David Aspinall
Moved -output-fontify-toggle away. Made proof-switch-to-buffer more robust
1999-11-18Added user option for multiple frames.David Aspinall
1999-11-18More optimistic about byte comp.David Aspinall
1999-11-18UpdatedDavid Aspinall
1999-11-18Typo.David Aspinall
1999-11-18Failed attempt to trap C-g during try-update-thy. Left as comments.David Aspinall
1999-11-17TweaksDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 04:19:30 +0000