aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
2004-08-25Update for 3.6David Aspinall
2004-08-25New files.David Aspinall
2004-08-25Change develdownload.php -> develdownload.htmlDavid Aspinall
2004-08-25Set version tag for new release.David Aspinall
2004-08-25Update for forthcoming 3.6David Aspinall
2004-08-25Updated.David Aspinall
2004-08-25Update for 3.6David Aspinall
2004-08-25Updates for 3.6David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 14:53:32 +0000