aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
2004-03-10holes-short-doc now is in view-mode.Pierre Courtieu
2004-03-10dealing with compile warning for new "hole" code (end hopefully).Pierre Courtieu
2004-03-10modification to avoid compile warnings (end)Pierre Courtieu
+ some menu modifications
2004-03-10slight modif of holes short doc.Pierre Courtieu
2004-03-10added a menu for hole operationsPierre Courtieu
2004-03-10x-get-selection is obsolete for xemacs, made a macroPierre Courtieu
hole-get-selection defined as get-selection for xemacs, and x-get-selection for emacs.
2004-03-10compile warning correctionsPierre Courtieu
2004-03-10bug correctionsPierre Courtieu
2004-03-08indentation for coq completely re-coded, because the generic mechanismPierre Courtieu
does not use "proof-goal-command-p" and is not powerful enough.
2004-03-03Updated.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 23:36:14 +0000