aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/pg-pamacs.el
Commit message (Expand)AuthorAge
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Remove uses of defpgdefault in coq-abbrevGravatar Clément Pit--Claudel2017-03-08
* Remove compile-time calls to proof-ready-for-assistantGravatar Clément Pit--Claudel2017-03-08
* Fix incorrect uses of defvarGravatar Clément Pit--Claudel2017-03-08
* save settings not defined with defpacustom (fixes #142)Gravatar Hendrik Tews2017-01-19
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-06 11:24:40 +0000