aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2004-04-06Added correct instance for proof-goal-command-regexp; makes undo work.cxl
2004-04-06Another day, another prover:cxl
added support for the Casl Consistency Checker (file name extension: .ccc).
2004-04-06Updated.David Aspinall
2004-04-05Set version tag for new release.David Aspinall
2004-04-05updated CHANGES for CoqPierre Courtieu
2004-04-05added coq changes for 3.5 release.Pierre Courtieu
2004-04-05Fixed the short doc on holesPierre Courtieu
2004-04-05Updated.David Aspinall
2004-04-05Fixed coq x-symbols. now alphaa is not encoded, aalpha is not encoded,Pierre Courtieu
but alpha_, _alpha and _alpha_ are decoded.
2004-04-05fixed single char sub/super script in goals/response windowGerwin Klein
2004-04-05new test case for \<^isub>Gerwin Klein
2004-04-03Update version to 3.5David Aspinall
2004-04-02More sub/super examples.David Aspinall
2004-04-02Add extra term test -- shows up current bugDavid Aspinall
2004-04-02More comments/test printing.David Aspinall
2004-04-02Add test of spanning sup/subDavid Aspinall
2004-04-02Updated.David Aspinall
2004-04-02Set version tag for new release.David Aspinall
2004-04-02Update magicDavid Aspinall
2004-04-02Update documentation of different display modesDavid Aspinall
2004-04-02CommentsDavid Aspinall
2004-04-02Remove/fix some junkDavid Aspinall
2004-04-02Use official indentation\!David Aspinall
2004-04-02Remove three-buffer stuff (made generic)David Aspinall
2004-04-02Updated.David Aspinall
2004-04-02Turn on experimental features for 3.5. Adjust display settings.David Aspinall
2004-04-02Overhaul and fixes for display management.David Aspinall
2004-04-02CommentsDavid Aspinall
2004-04-02Use proof-shell-wait; comments.David Aspinall
2004-04-02More elaborate error messages in proof-easy-config-check-setup.David Aspinall
2004-04-02Fix proof-shell-wait to not use CPU and observe quit. Add PGIP askprefs to ↵David Aspinall
startup.
2004-04-02Add various GNU <-> XE compatibility functions for display.David Aspinall
2004-04-02Comments. Beginning of drag region code.David Aspinall
2004-04-01changed ths syntax for sub/superscript:Pierre Courtieu
- __ makes the following word (if immediately after __) subscript - ^^ makes the following word (if immediately after ^^) superscript - __{...} makes ... subscript - ^^{...} makes ... superscript
2004-03-31added subscript in x-symbols-coq.el.Pierre Courtieu
2004-03-30debugging coq-x-symbols.elPierre Courtieu
2004-03-30added the forall x-symbol to the indent keywords lists.Pierre Courtieu
2004-03-30Trying to put x-symbols for coq. By copyingPierre Courtieu
x-symbol-isabelle.el. Seems to work.
2004-03-30Updated.David Aspinall
2004-03-30Adjust proof-shell-annotated-prompt-regexp to match latest Isabelle versionsDavid Aspinall
2004-03-30Adjust proof-shell-wait to use less CPU w/o timeoutDavid Aspinall
2004-03-30Add get-window-with-predicate to perhaps solve issue with XEmacs.David Aspinall
2004-03-30Add proof-assistant-symbol to (spurious) error msgDavid Aspinall
2004-03-30generic-find-and-forget: handle proof-forget-id-command not being setDavid Aspinall
2004-03-30Mention importance of proof-shell-annotated-prompt-regexp.David Aspinall
2004-03-29*** empty log message ***Pierre Courtieu
2004-03-29V8/V7 reserved keywords for coqPierre Courtieu
2004-03-23Fix more proofgeneral.orgDavid Aspinall
2004-03-23Updated.David Aspinall
2004-03-23Update dateDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 03:27:41 +0000