| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Use bundled version off mmm first |  David Aspinall | 2003-02-19 |
| | | |||
| * | Leave packages' own hooks (X-Symbol, MMM) to deal with turning on or | David Aspinall | 2003-02-19 |
| | | | | | | | | | off minor modes in buffers automatically. Now the PG setting controls the "default global for PG buffers" for each of these. The menu checkbox simply displays the current minor mode status. When this is changed, the PG global mode follows suit. We do not try to apply the change to all PG buffers (30 minutes of fontification!). | ||
| * | Small bugfix. | David Aspinall | 2003-02-18 |
| | | |||
| * | Updated. | David Aspinall | 2003-02-18 |
| | | |||
| * | New files. | David Aspinall | 2003-02-18 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |