| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 1999-11-19 | Added note about C-c RET broken on console. | David Aspinall | |
| 1999-11-19 | Fix proof-try-require for FSF Emacs. | David Aspinall | |
| 1999-11-18 | Set version tag for new release. | David Aspinall | |
| 1999-11-18 | Don't bother put extra modes on auto-mode-alist, rely on proof-x-symbol to ↵ | David Aspinall | |
| do the job. | |||
| 1999-11-18 | Removed comment. | David Aspinall | |
| 1999-11-18 | Updated | David Aspinall | |
| 1999-11-18 | Call it functions menu, that's its name. Spacing. | David Aspinall | |
| 1999-11-18 | Trivial | David Aspinall | |
| 1999-11-18 | Section on what you need for PG | David Aspinall | |
| 1999-11-18 | Fixed a broken link. Rephrased some bits. | David Aspinall | |
| 1999-11-18 | Junk proof-xsym-toggle-hook | David Aspinall | |
| 1999-11-18 | Updates to Preface. | David Aspinall | |
| 1999-11-18 | Attempted patch no.1 | David Aspinall | |
| 1999-11-18 | Use 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-18 | Automatically generate special-display-regexps entry, and | David 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-18 | Changed 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-18 | Moved response buffer code here. | David Aspinall | |
| Moved -output-fontify-toggle away. Made proof-switch-to-buffer more robust | |||
| 1999-11-18 | Added user option for multiple frames. | David Aspinall | |
| 1999-11-18 | More optimistic about byte comp. | David Aspinall | |
| 1999-11-18 | Updated | David Aspinall | |
| 1999-11-18 | Typo. | David Aspinall | |
| 1999-11-18 | Failed attempt to trap C-g during try-update-thy. Left as comments. | David Aspinall | |
| 1999-11-17 | Tweaks | David Aspinall | |
| 1999-11-17 | Fix to -with-hole regexps | David Aspinall | |
| 1999-11-17 | Update branch for 3.0 release. | David Aspinall | |
| 1999-11-17 | Another typo | David Aspinall | |
| 1999-11-17 | Typo | David Aspinall | |
| 1999-11-17 | Rewrote some history. Fixed pg_email link. | David Aspinall | |
| 1999-11-17 | Full stop added | David Aspinall | |
| 1999-11-17 | Updated link to LFCS. Added link to demoisa-easy.el | David Aspinall | |
| 1999-11-17 | Prevent access to ~ files too. | David Aspinall | |
| 1999-11-17 | Deleted files. | David Aspinall | |
| 1999-11-17 | Changed doc link | David Aspinall | |
| 1999-11-17 | Formatting | David Aspinall | |
| 1999-11-17 | Reordering. | David Aspinall | |
| 1999-11-17 | Link to demoisa-easy.el | David Aspinall | |
| 1999-11-17 | Added link to CtCoq | David Aspinall | |
| 1999-11-17 | Service patch to fix embarrassing privacy problem, 8-). | David Aspinall | |
| 1999-11-17 | Fixed some docstrings | David Aspinall | |
| 1999-11-17 | Set version tag for new release. | David Aspinall | |
| 1999-11-17 | Tweaked preface. | David Aspinall | |
| 1999-11-17 | Ignore file for ProofGeneral link to ../.. for testing. | David Aspinall | |
| 1999-11-17 | Remove Makefile.xemacs from distrib. | David Aspinall | |
| 1999-11-17 | Link to demoisa-easy.el | David Aspinall | |
| 1999-11-17 | Headers to match other pages | David Aspinall | |
| 1999-11-17 | Name change proof-window-dedicated -> proof-dont-switch-windows. | David Aspinall | |
| 1999-11-17 | Bind mouse 2 as well as mouse 3 for pbp | David Aspinall | |
| 1999-11-17 | Split download page into three parts. | David Aspinall | |
| 1999-11-17 | Sign up to mailinglist by default. | David Aspinall | |
| 1999-11-17 | Isabelle 99 -> Isabelle99 name change | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |