| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2001-12-11 | Add support for Emacs 21 image display. | David Aspinall | |
| 2001-12-11 | Add proof-running-on-Emacs21 flag. | David Aspinall | |
| 2001-12-11 | Allow toolbar toggle for GNU Emacs 21. | David Aspinall | |
| 2001-12-11 | Toolbar allowed in GNU Emacs 21 | David Aspinall | |
| 2001-12-11 | Add proof-emacs-imagep function for GNU Emacs 21. | David Aspinall | |
| 2001-12-10 | Add handling of proof-trace-buffer. | David Aspinall | |
| 2001-12-10 | Added proof-trace-buffer. | David Aspinall | |
| 2001-12-10 | Dont return a fontified string in proof-response-buffer-display. | David Aspinall | |
| 2001-12-05 | proof-release-lock: do not touch proof-shell-spill-output-buffer; | Makarius Wenzel | |
| proof-shell-spill-output-begin: reuse existing buffer; | |||
| 2001-12-05 | activate proof-shell-spill-output-regexp; | Makarius Wenzel | |
| 2001-12-04 | Updated. | David Aspinall | |
| 2001-12-04 | Set version tag for new release. | David Aspinall | |
| 2001-12-04 | Update for 3.4pre | David Aspinall | |
| 2001-12-04 | Update mailing list address (point to web page) | David Aspinall | |
| 2001-12-04 | update from make process; | Makarius Wenzel | |
| 2001-12-04 | isar specific commands for bold/sup/sub; | Makarius Wenzel | |
| 2001-12-04 | added symbols for alternative 0..9; | Makarius Wenzel | |
| 2001-12-01 | \<euro> symbol; | Makarius Wenzel | |
| use previously defined x-symbol-isabelle-user-table (or nil); x-symbol-user-table achieves electric |- and |= symbols; | |||
| 2001-11-24 | proof-shell-spill-output-regexp temporarily disabled; | Makarius Wenzel | |
| 2001-11-20 | set proof-shell-spill-output-regexp; | Makarius Wenzel | |
| isar-activate-scripting: proof-syn-cd (why is this here needed?); | |||
| 2001-11-13 | option -k for logic specific isar-keywords file; | Makarius Wenzel | |
| 2001-11-08 | added \<index> symbol; | Makarius Wenzel | |
| 2001-11-07 | added \<lozenge> and \<struct>; | Makarius Wenzel | |
| 2001-11-07 | updated isar-goals-font-lock-keywords; | Makarius Wenzel | |
| 2001-10-24 | Fix missing arg to get. | David Aspinall | |
| Add Paul Roziere as req'd by Christopphe Raffalli | |||
| 2001-10-13 | isar-goals-font-lock-keywords: more general goal pattern; | Makarius Wenzel | |
| 2001-10-08 | Updated. | David Aspinall | |
| 2001-10-08 | Set version tag for new release. | David Aspinall | |
| 2001-10-08 | Add back note. | David Aspinall | |
| 2001-10-04 | added isar-help-induct-rules; | Makarius Wenzel | |
| 2001-10-04 | Remove note for devel | David Aspinall | |
| 2001-10-04 | Fix fudged enabler to call button function interactively. | David Aspinall | |
| 2001-09-26 | support \<^bold> control symbols; | Makarius Wenzel | |
| 2001-09-26 | fixed spelling; | Makarius Wenzel | |
| 2001-09-24 | Updated. | David Aspinall | |
| 2001-09-24 | Set version tag for new release. | David Aspinall | |
| 2001-09-24 | Add Lemma to exclusion for coq-goal-command-p. | David Aspinall | |
| 2001-09-24 | Update magic | David Aspinall | |
| 2001-09-24 | New line | David Aspinall | |
| 2001-09-24 | Fix error in docs of stop-silent-command, and name of pre-shell-start-hook. | David Aspinall | |
| 2001-09-24 | Another bug reporter | David Aspinall | |
| 2001-09-24 | Implement Robert Schnecks idea to help Coq display whole of goals output. | David Aspinall | |
| 2001-09-24 | Devel release is tweaked 3.3 | David Aspinall | |
| 2001-09-13 | Updated. | David Aspinall | |
| 2001-09-13 | Link uref nicely | David Aspinall | |
| 2001-09-13 | Minor improvements | David Aspinall | |
| 2001-09-13 | Updates from an old printout of the manual | David Aspinall | |
| 2001-09-13 | updated | David Aspinall | |
| 2001-09-13 | Updated. | David Aspinall | |
| 2001-09-13 | New files. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |