aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Expand)Author
2021-01-31fix make magic problem with emacs 26 and olderHendrik Tews
2018-12-26Make coq-mode work without generic/proof-*Stefan Monnier
2018-12-22* coq-mode.el: New file to make coq-mode independent from PGStefan Monnier
2018-12-15Cosmetic cleanup of coq-smie, coq-syntax, and coq-abbrev.Stefan Monnier
2018-12-13Use `cl-lib` instead of `cl` everywhereStefan Monnier
2018-12-12Cleanup patch; Moving defvar to toplevelStefan Monnier
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-05-24Remove mmm and ML4PG contribs and remove references to them in code and docsPaul Steckler
2017-05-05Change (eval-when (compile) ...) to (eval-when-compile ...)Clément Pit--Claudel
2017-03-08Remove unnecessary calls to 'eval-and-compile'Clément Pit--Claudel
2017-03-08Remove some Emacs <24.1 compatibility cruftClément Pit--Claudel
2017-03-08Fix incorrect uses of defvarClément Pit--Claudel
2017-03-08Fixing unicode tokens in generic code and in coq.Pierre Courtieu
2016-08-25Ensure PG overlays have pg-span property (#98)Tej Chajed
2015-03-13Summary: Fix to work with dark color themes (stipple with header-line face)David Aspinall
2015-03-13(fixes last commit) Added a command to send Queries to coq, with completion (...Pierre Courtieu
2015-03-05Summary: Remove obsolete functionDavid Aspinall
2014-06-06Don't mess with overlay priorities.Stefan Monnier
2013-07-22Added comment.Pierre Courtieu
2012-09-19Small fix in holes code.Pierre Courtieu
2012-09-04Fix compile for Emacs 24David Aspinall
2012-09-02Remove functions defined for Emacs 22 compatibilityDavid Aspinall
2012-08-30Summary: Don't quote lambda expressionsStefan Monnier
2012-08-16Emacs 24 updateDavid Aspinall
2012-08-16Emacs 24 compatibility (ucs-insert -> insert-char)David Aspinall
2012-07-11Simplified file variable code for coq.Pierre Courtieu
2012-05-08Use proof-add-to-load-path to extend load-path. This way,Hendrik Tews
2012-04-30Change default Unicode Tokens font back to DejaVU Sans, more reliable without...David Aspinall
2012-03-01fix compilation with emacs23-nox of DebianHendrik Tews
2011-10-13Patch from Tom Prince to fix Emacs 24 byte compilation (replace interactive-p...David Aspinall
2011-04-18DocstringDavid Aspinall
2011-02-23Support delete selection mode on remapped delete commandsDavid Aspinall
2011-01-31Make proof-assistant-settings follow currently available dynamic settings, an...David Aspinall
2011-01-26ns-popup-font-panel: pass through argument list (used in Aquamacs Options menu).David Aspinall
2011-01-25Remove dead codeDavid Aspinall
2011-01-24- change 'span-delete-action in 'span-delete-actions, which isHendrik Tews
2010-11-15Summary: New indentation code using SMIEStefan Monnier
2010-10-01Failed attempt to fix font lock customizations for elispDavid Aspinall
2010-10-01span-make-modifying-removing-span: add utilityDavid Aspinall
2010-09-08Clean up invisibility specDavid Aspinall
2010-08-27Implement the eagerly anticipated Beyond Script Management Feature No.2 (i.e....David Aspinall
2010-08-25Bring syntactic context functions togetherDavid Aspinall
2010-08-24unicode-tokens-delete-backward-1: backward-delete-char -> delete-char to fix ...David Aspinall
2010-08-19Default to non-italic symbol font variant for Mac OS X. Simplify font changi...David Aspinall
2010-08-18unicode-tokens-show-controls (C-c C-t C-t): Use redraw-display insteadDavid Aspinall
2010-08-18Tune profilingDavid Aspinall
2010-08-18Load elp firstDavid Aspinall
2010-08-18hack to ELP to give better readability of profile results, in millisecondsDavid Aspinall
2010-08-11unicode-tokens-symbol-font-face: default to italic and support settingDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:28:07 +0000