aboutsummaryrefslogtreecommitdiff
path: root/generic/pg-pamacs.el
AgeCommit message (Expand)Author
2018-08-23Fix most doc issues raised by (checkdoc)Erik Martin-Dorel
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2017-03-08Remove uses of defpgdefault in coq-abbrevClément Pit--Claudel
2017-03-08Remove compile-time calls to proof-ready-for-assistantClément Pit--Claudel
2017-03-08Fix incorrect uses of defvarClément Pit--Claudel
2017-01-19save settings not defined with defpacustom (fixes #142)Hendrik Tews
2011-05-16Clean up customization groups for defpacustom and defpgcustom. See http://li...David Aspinall
2011-01-31Only make settings commands for dynamic settings which differ from their defa...David Aspinall
2011-01-31Make proof-assistant-settings follow currently available dynamic settings, an...David Aspinall
2011-01-31Improve handling of dynamic preferences. Addresses Trac #387.David Aspinall
2011-01-12Fix quoting in 'float patch.David Aspinall
2011-01-11Add additional support for pgipfloat typeDavid Aspinall
2011-01-11'float -> 'numberDavid Aspinall
2011-01-11defpacustom: support for 'float typeDavid Aspinall
2010-10-01CommentDavid Aspinall
2010-08-11Move some var+macro to fix compilationDavid Aspinall
2010-08-11Support custom syntactic fontification. Split out pa macros.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:08:43 +0000