aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Expand)Author
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
2010-08-03span-mapcar-spans-inorder: added for pg-movie productionDavid Aspinall
2010-07-08save-excursion -> with-temp-bufferDavid Aspinall
2010-06-28Remove debug messageDavid Aspinall
2010-06-27Experimental backwards delete char. See Trac #290David Aspinall
2009-12-01tidyDavid Aspinall
2009-12-01Attempt at http://proofgeneral.inf.ed.ac.uk/trac/ticket/311David Aspinall
2009-12-01spacesDavid Aspinall
2009-12-01CleanDavid Aspinall
2009-10-01unicode-tokens-fontsymb-properties: use font-lock faces instead of proof- ones.David Aspinall
2009-09-30Conforming Menu TitlesDavid Aspinall
2009-09-30Conforming Menu TitlesDavid Aspinall
2009-09-28Rename dec->keyword. Update doc for quail input language.David Aspinall
2009-09-21Add customize group unicode-tokens-options to faces top-level group.David Aspinall
2009-09-21unicode-tokens-add-help-echo: add this customize optionDavid Aspinall
2009-09-21Functions to add buttons to buffer (initial attempt)David Aspinall
2009-09-20unicode-tokens-set-font-var-aux: run font-lock-fontify-buffer in displayedDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:00:26 +0000