| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Clean up customization groups for defpacustom and defpgcustom. See http://li... |  David Aspinall | 2011-05-16 |
| * | Only make settings commands for dynamic settings which differ from their defa... | David Aspinall | 2011-01-31 |
| * | Make proof-assistant-settings follow currently available dynamic settings, an... | David Aspinall | 2011-01-31 |
| * | Improve handling of dynamic preferences. Addresses Trac #387. | David Aspinall | 2011-01-31 |
| * | Fix quoting in 'float patch. | David Aspinall | 2011-01-12 |
| * | Add additional support for pgipfloat type | David Aspinall | 2011-01-11 |
| * | 'float -> 'number | David Aspinall | 2011-01-11 |
| * | defpacustom: support for 'float type | David Aspinall | 2011-01-11 |
| * | Comment | David Aspinall | 2010-10-01 |
| * | Move some var+macro to fix compilation | David Aspinall | 2010-08-11 |
| * | Support custom syntactic fontification. Split out pa macros. | David Aspinall | 2010-08-11 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |