| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 2001-09-13 | Updated from Kit repo | David Aspinall | |
| 2001-09-13 | Fix link | David Aspinall | |
| 2001-09-13 | Fix two more gaping holes letting people examine whole filesystem (also ↵ | David Aspinall | |
| fixed in server anyway) | |||
| 2001-09-13 | PHP in php, html and no extn link to php | David Aspinall | |
| 2001-09-13 | Updated. | David Aspinall | |
| 2001-09-13 | Fix two more gaping holes letting people examine whole filesystem | David Aspinall | |
| 2001-09-13 | Updated. | David Aspinall | |
| 2001-09-13 | Set version tag for new release. | David Aspinall | |
| 2001-09-13 | Feedback quick link | David Aspinall | |
| 2001-09-13 | No changes msg | David Aspinall | |
| 2001-09-13 | Try to fix PHP/html nonsense, by disabling SSI and enabling php for .html files | David Aspinall | |
| 2001-09-10 | Updated. | David Aspinall | |
| 2001-09-10 | Set version tag for new release. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |