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