index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
/
pg-pamacs.el
Commit message (
Expand
)
Author
Age
*
Remove uses of defpgdefault in coq-abbrev
Clément Pit--Claudel
2017-03-08
*
Remove compile-time calls to proof-ready-for-assistant
Clément Pit--Claudel
2017-03-08
*
Fix incorrect uses of defvar
Clément Pit--Claudel
2017-03-08
*
save settings not defined with defpacustom (fixes #142)
Hendrik Tews
2017-01-19
*
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