aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2005-02-15New files.David Aspinall
2005-02-15Finished making holes.el a real minor-mode. There is a new filePierre Courtieu
holes-load.el which defines the autoloads (enough of them?). All functions have the prefix "holes-", and offending keyboard shortcuts have been either removed or bound to the minor mode. I made holes-mode minor mode automatically turned on in all proof buffers in coq mode (including shell, script and response buffers as it may be useful to copy paste parts of this buffers into holes).
2005-02-14cleaning holes.el. All functions are prefixed with "holes-". AlsoPierre Courtieu
modified coq.el and coq-abbrev.el accordingly.
2005-02-14Starting to clean holes.el following Stefan Monnier's advices. MakingPierre Courtieu
holes a real minor-mode.
2005-02-13Comments.David Aspinall
2005-02-13Force branch versionDavid Aspinall
2005-02-13Added simple testing framework (in progress)David Aspinall
2005-02-13Remove setting of x-symbol-language by C Raffalli.David Aspinall
2005-02-13Add patch by Stefan Monnier to revert frame titles (although would have ↵David Aspinall
liked to keep them maybe)
2005-02-13Add suggestion by Stefan Monnier (comment only)David Aspinall
2005-02-13Attempt to address X-Symbol startup problems for PhoX.David Aspinall
2005-02-10Deleted compatibility for coq v6 and v7 + new backtracking system. ForPierre Courtieu
now it can be triggered only by using coq-version-is-v8-1.
2005-02-09*** empty log message ***Christophe Raffalli
2005-02-01FAQ #1 typoDavid Aspinall
2005-01-28Patch from Stefan Monnier:David Aspinall
The * of (* is not quoted in the font-lock keywords leading to the possibility of matching the empty string, which tends to put font-lock in an infinite loop. Actually I think the infinite looping is due to a local bug in my experimental Emacs code, but the \\ is needed in order to really match what was intended.
2005-01-07Mention to check FAQ tooDavid Aspinall
2004-12-08changes to pbrpmChristophe Raffalli
2004-12-01Name change of TODO/BUGS filesDavid Aspinall
2004-12-01Renamed fileDavid Aspinall
2004-11-30Docstring: clarify arg type in proof-define-assitant-command-withargDavid Aspinall
2004-11-30Updated.David Aspinall
2004-11-30FixesDavid Aspinall
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-10-20added first (experimental) support for proof by contextual menu (pg-pbrpm.el)Christophe Raffalli
2004-10-20added proof-x-symbol-set-language for script bufferChristophe Raffalli
2004-10-20fixed a problem with x-symbol not enables in script bufferChristophe Raffalli
2004-10-07Repaired fix suggested by Jonathan S. ShapiroDavid Aspinall
2004-10-07Remove print draft from menuDavid Aspinall
2004-10-05No changeDavid Aspinall
2004-10-05UpdatesDavid Aspinall
2004-10-05Add pg-xml-cdataDavid Aspinall
2004-10-05Documentation.David Aspinall
2004-10-05Include /usr/bin/isatool as a possibilityDavid Aspinall
2004-10-05Add emacs, xemacs as build requires suggested by J ShapiroDavid Aspinall
2004-10-05Bug fix suggested by Jonathan S. ShapiroDavid Aspinall
2004-10-05Fix to `isa-shell-command-to-string' suggested by Jonathan S. ShapiroDavid Aspinall
2004-10-04Add arg to forward-comment for GNU Emacs.David Aspinall
2004-09-21Fix bug in proof-debug for GNU EmacsDavid Aspinall
2004-09-14Add spaces after setting commands to separate. Temporarily disable ↵David Aspinall
print-only-first-subgoal.
2004-09-11TypoDavid Aspinall
2004-08-31*** empty log message ***David Aspinall
2004-08-31Set version tag for new release.David Aspinall
2004-08-31Fix backward compatibility with Isabelle 2004.David Aspinall
2004-08-30debugged the indentation of coq (bug report of Batsiaan Zapf augustPierre Courtieu
3rd 2004). I found another bug (infinite loop due to an error in coq-back-to-indentation-prevline).
2004-08-26Try to avoid filtering/urgent-message-processing of inputDavid Aspinall
2004-08-26Fixes for idtablesDavid Aspinall
2004-08-25More proofgeneral.org removalsDavid Aspinall
2004-08-25Hack names of xemacs-elc emacs-elc packages tooDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-12 03:08:21 +0000