aboutsummaryrefslogtreecommitdiff
path: root/phox
AgeCommit message (Collapse)Author
2012-08-30Summary: Don't quote lambda expressionsStefan Monnier
* coq/coq-indent.el (coq-indent-inner-regexp): Remove old X-Symbol element. (coq-save-count, coq-proof-count): * obsolete/plastic/plastic.el (plastic-shell-handle-output): * lib/texi-docstring-magic.el (texi-docstring-magic-insert-magic): * lib/pg-dev.el (emacs-lisp-mode-hook): * lib/maths-menu.el (maths-menu-filter-predicate) (maths-menu-tokenise-insert): * lib/holes.el (holes-next): * lego/lego.el (lego-shell-handle-output): * isar/isabelle-system.el (isabelle-docs-menu): * coq/coq.el (coq-compile-command, coq-compile-auto-save) (coq-compile-ignored-directories, coq-load-path-safep) (proof-shell-handle-delayed-output-hook): Don't quote lambda.
2012-04-06Fix compile error, Trac #437.David Aspinall
2011-10-17Outline required compile and runDavid Aspinall
2010-08-27Replace proof-terminal-char with proof-terminal-string.David Aspinall
2009-09-29phox-find-and-forget: return a listDavid Aspinall
2009-09-15Prevent many compile warningsDavid Aspinall
2009-09-10Some fixes to requires etcDavid Aspinall
2009-09-05Tidy whitespaceDavid Aspinall
2009-09-05resp-font-lock-keywords -> response-font-lock-keywords; ↵David Aspinall
output-fontify-enable removed
2009-09-04Remove proof-shell-prompt-pattern, no longer used.David Aspinall
2009-09-04Remove proof-no-commandDavid Aspinall
2009-09-01Remove (commented out) x-symbol configurationDavid Aspinall
2009-09-01hack with phox-prog-name and phox-prog-name-guess to have this phox folder ↵Christophe Raffalli
working with PG 3.7
2009-09-01Removed support for x-symbol (I do not like it because it changes the buffer ↵Christophe Raffalli
content !) sym-lock is still available on xemacs only various other bug fix.
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-02-17Docstring with keymapDavid Aspinall
2008-01-31Updated.David Aspinall
2008-01-24Remove use of proof-assDavid Aspinall
2008-01-16Compilation tweaksDavid Aspinall
2008-01-15Many compatibility updates, bug fixes, rearrangements for compilation.David Aspinall
2007-12-14Prevent compile error on atomic-extentsDavid Aspinall
2007-12-10Protect usage of list-fonts, unknown functionDavid Aspinall
2006-02-24back to using sym-lock ... x-symbol will not be supported anymore for PhoX + ↵Christophe Raffalli
imporvment in proof by contextual menu
2005-10-20bug fixChristophe Raffalli
2005-10-12added lock and unlock for unification variablesChristophe Raffalli
2005-07-05*** empty log message ***Christophe Raffalli
2005-03-25New files.David Aspinall
2005-02-13Attempt to address X-Symbol startup problems for PhoX.David Aspinall
2005-02-09*** empty log message ***Christophe Raffalli
2004-12-08changes to pbrpmChristophe Raffalli
2004-11-22work on proof by contextual menu for phoxChristophe Raffalli
2004-10-20replaced root2.phx by new square-root-2.phxChristophe Raffalli
2004-10-20improvment of phox-x-symbol, supress sym-lock, first support for proof by ↵Christophe Raffalli
contextual menu
2004-05-17first try to make x-symbol worksChristophe Raffalli
2004-04-16*** empty log message ***Christophe Raffalli
2004-04-16New files.David Aspinall
2004-04-14Updated.David Aspinall
2004-03-01Fix compiler warningsDavid Aspinall
2004-03-01Remove non-existent proof-state-command settingDavid Aspinall
2004-01-30updating for new PG versionChristophe Raffalli
2003-06-05Make find-and-forget robust for proverproc regionsDavid Aspinall
2003-02-15Fixes so that compile worksDavid Aspinall
2003-02-12change for version 0.83 of PhoXChristophe Raffalli
2002-08-29Remove mule-fonts thing, it breaks make magicDavid Aspinall
2002-08-29AF2 eradicateDavid Aspinall
2002-08-28Fix to calls on messageDavid Aspinall
2002-07-25change to support version 4.4 of x-symbolChristophe Raffalli
2002-07-25change to support version 4.4 of x-symbolChristophe Raffalli
2002-07-19Variable name change proof-comment-{start,end}-regexp -> ↵David Aspinall
proof-script-comment-{start,end}-regexp.
2002-07-17Update versions/TODODavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-14 13:31:11 +0000