aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/pg-pamacs.el
Commit message (Expand)AuthorAge
* Clean up customization groups for defpacustom and defpgcustom. See http://li...Gravatar David Aspinall2011-05-16
* Only make settings commands for dynamic settings which differ from their defa...Gravatar David Aspinall2011-01-31
* Make proof-assistant-settings follow currently available dynamic settings, an...Gravatar David Aspinall2011-01-31
* Improve handling of dynamic preferences. Addresses Trac #387.Gravatar David Aspinall2011-01-31
* Fix quoting in 'float patch.Gravatar David Aspinall2011-01-12
* Add additional support for pgipfloat typeGravatar David Aspinall2011-01-11
* 'float -> 'numberGravatar David Aspinall2011-01-11
* defpacustom: support for 'float typeGravatar David Aspinall2011-01-11
* CommentGravatar David Aspinall2010-10-01
* Move some var+macro to fix compilationGravatar David Aspinall2010-08-11
* Support custom syntactic fontification. Split out pa macros.Gravatar David Aspinall2010-08-11