aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Magic updatedGravatar David Aspinall1999-11-19
* UpdatedGravatar David Aspinall1999-11-19
* TypoGravatar David Aspinall1999-11-19
* Many updates and improvements (not finished yet)Gravatar David Aspinall1999-11-19
* Fixup branchGravatar David Aspinall1999-11-19
* Renamed fileGravatar David Aspinall1999-11-19
* Added simplified interaction sectionGravatar David Aspinall1999-11-19
* Additions for pdf version; needs hack to my pdftexinfo.tex to workGravatar David Aspinall1999-11-19
* More todo's??? Surely notGravatar David Aspinall1999-11-19
* Fix for proof-script-new-command-advance.Gravatar David Aspinall1999-11-19
* UpdatedGravatar David Aspinall1999-11-19
* Added goto buttonGravatar David Aspinall1999-11-19
* Fix branchGravatar David Aspinall1999-11-19
* New buttonGravatar David Aspinall1999-11-19
* Added goto button.Gravatar David Aspinall1999-11-19
* Button for proof-goto-point action.Gravatar David Aspinall1999-11-19
* Added texi-docstring-magic-untabify to fix tabs in docstrings.Gravatar David Aspinall1999-11-19
* Added pbp-yank-subterm, changed mouse bindings for goals buffer.Gravatar David Aspinall1999-11-19
* docstringGravatar David Aspinall1999-11-19
* Removed spurious defn of proof-config.elGravatar David Aspinall1999-11-19
* Added by defvars x-symbol-isa-name, x-symbol-isa-modeline-name so can use thi...Gravatar David Aspinall1999-11-19
* Added note about C-c RET broken on console.Gravatar David Aspinall1999-11-19
* Fix proof-try-require for FSF Emacs.Gravatar David Aspinall1999-11-19
* Set version tag for new release.Gravatar David Aspinall1999-11-18
* Don't bother put extra modes on auto-mode-alist, rely on proof-x-symbol to do...Gravatar David Aspinall1999-11-18
* Removed comment.Gravatar David Aspinall1999-11-18
* UpdatedGravatar David Aspinall1999-11-18
* Call it functions menu, that's its name. Spacing.Gravatar David Aspinall1999-11-18
* TrivialGravatar David Aspinall1999-11-18
* Section on what you need for PGGravatar David Aspinall1999-11-18
* Fixed a broken link. Rephrased some bits.Gravatar David Aspinall1999-11-18
* Junk proof-xsym-toggle-hookGravatar David Aspinall1999-11-18
* Updates to Preface.Gravatar David Aspinall1999-11-18
* Attempted patch no.1Gravatar David Aspinall1999-11-18
* Use new function proof-try-require instead of condition-case ...Gravatar David Aspinall1999-11-18
* Automatically generate special-display-regexps entry, andGravatar David Aspinall1999-11-18
* Changed eval-when-compile to eval-when (compile).Gravatar David Aspinall1999-11-18
* Moved response buffer code here.Gravatar David Aspinall1999-11-18
* Added user option for multiple frames.Gravatar David Aspinall1999-11-18
* More optimistic about byte comp.Gravatar David Aspinall1999-11-18
* UpdatedGravatar David Aspinall1999-11-18
* Typo.Gravatar David Aspinall1999-11-18
* Failed attempt to trap C-g during try-update-thy. Left as comments.Gravatar David Aspinall1999-11-18
* TweaksGravatar David Aspinall1999-11-17
* Fix to -with-hole regexpsGravatar David Aspinall1999-11-17
* Update branch for 3.0 release.Gravatar David Aspinall1999-11-17
* Another typoGravatar David Aspinall1999-11-17
* TypoGravatar David Aspinall1999-11-17
* Rewrote some history. Fixed pg_email link.Gravatar David Aspinall1999-11-17
* Full stop addedGravatar David Aspinall1999-11-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 07:59:38 +0000