| Age | Commit message (Expand) | Author |
|---|---|---|
| 2003-02-19 | Documentation. | David Aspinall |
| 2003-02-19 | Docs; same safe-fail for MMM as X-Symbol. | David Aspinall |
| 2003-02-19 | Documentation. | David Aspinall |
| 2003-02-19 | Use bundled version off mmm first | David Aspinall |
| 2003-02-19 | New files. | David Aspinall |
| 2003-02-19 | Renamed file | David Aspinall |
| 2003-02-19 | Updated. | David Aspinall |
| 2003-02-19 | New files. | David Aspinall |
| 2003-02-19 | Set version tag for new release. | David Aspinall |
| 2003-02-19 | Updated. | David Aspinall |
| 2003-02-19 | Leave packages' own hooks (X-Symbol, MMM) to deal with turning on or | David Aspinall |
| 2003-02-18 | Add pg-xml to main dist | David Aspinall |
| 2003-02-18 | Comments. | David Aspinall |
| 2003-02-18 | Updated. | David Aspinall |
| 2003-02-18 | Deleted files. | David Aspinall |
| 2003-02-18 | Updated. | David Aspinall |
| 2003-02-18 | Test with -- short comments. Docs | David Aspinall |
| 2003-02-18 | Delete | David Aspinall |
| 2003-02-18 | New files. | David Aspinall |
| 2003-02-18 | Small bugfix. | David Aspinall |
| 2003-02-18 | New files. | David Aspinall |
| 2003-02-18 | Updated. | David Aspinall |
| 2003-02-18 | Add support for MMM mode | David Aspinall |
| 2003-02-18 | Refactor proof-config-done for clarity | David Aspinall |
| 2003-02-18 | New files. | David Aspinall |
| 2003-02-18 | Documentation. | David Aspinall |
| 2003-02-18 | Decoration to show off MMM mode | David Aspinall |
| 2003-02-17 | Mention adding MMM mode | David Aspinall |
| 2003-02-17 | New files. | David Aspinall |
| 2003-02-17 | New files. | David Aspinall |
| 2003-02-17 | Updated. | David Aspinall |
| 2003-02-17 | Test case for {nested proof} in isabelle | David Aspinall |
| 2003-02-17 | Set version tag for new release. | David Aspinall |
| 2003-02-17 | Revert to old isar-ids-to-regexp | David Aspinall |
| 2003-02-17 | Larrys suggestion for lookup-syntax-properties. | David Aspinall |
| 2003-02-17 | Update addresses | David Aspinall |
| 2003-02-17 | Remove proof-shell-filter patch of Stefan Monnier which deals with multiple p... | David Aspinall |
| 2003-02-17 | Remove subterm markup striping in proof-shell-process-output (error case). Docs | David Aspinall |
| 2003-02-16 | Added documentation string to the variables coq-version-is-V6 (new), | Pierre Courtieu |
| 2003-02-16 | Updated. | David Aspinall |
| 2003-02-16 | Set version tag for new release. | David Aspinall |
| 2003-02-16 | Documentation. | David Aspinall |
| 2003-02-16 | Add backwards compatibility for old pre-PGIP settings mechanism | David Aspinall |
| 2003-02-16 | Updated. | David Aspinall |
| 2003-02-15 | Updated. | David Aspinall |
| 2003-02-15 | Link to CHANGES for comment on versions. | David Aspinall |
| 2003-02-15 | Fixes so that compile works | David Aspinall |
| 2003-02-15 | Line for Emacs compile | David Aspinall |
| 2003-02-15 | Towards isabelle-refresh-logics | David Aspinall |
| 2003-02-12 | change for version 0.83 of PhoX | Christophe Raffalli |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |