aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
2004-03-23Intro to 3.5 version, Emacs version updateDavid Aspinall
2004-03-23Update last updated stampDavid Aspinall
2004-03-23Set version tag for new release.David Aspinall
2004-03-23Updated.David Aspinall
2004-03-19 .v7 and .v8 added as coq file possible extensions.Pierre Courtieu
2004-03-19coq < 8.0 menu and abbrevs.Pierre Courtieu
2004-03-18adjusting to new syntax.Pierre Courtieu
2004-03-17coq menu twickingPierre Courtieu
2004-03-17holes debugging.Pierre Courtieu
2004-03-17menu, holes and abbrev made better.Pierre Courtieu
2004-03-16Added 'Notation' stuff to coq menu command insert.Pierre Courtieu
2004-03-16added the abbreviation of Hint Rewrite.Pierre Courtieu
2004-03-16Added one entry in the coq insert command menu (hint rewrite).Pierre Courtieu
2004-03-15bug fix in holes (call to proof-indent-line instead of funcallPierre Courtieu
indent-line-function).
2004-03-15little bug fix in coq-indent.elPierre Courtieu
2004-03-11added proof-really-save-command-p to coq config, to deal with ProofPierre Courtieu
<term>. which is a save command (but not a save giving a name like Save id.).
2004-03-11bug fixes on indenting and command-end-regexp.Pierre Courtieu
2004-03-10fixed coq command-end expression-regexp to deal with the token '..'Pierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-25 04:40:51 +0000