index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
coq
Commit message (
Expand
)
Author
Age
*
adding the "Comments" keyword in state-preserving commands.
Pierre Courtieu
2004-05-11
*
Set comment-quote-nested (for Emacs/XEmacs 21.5)
David Aspinall
2004-05-09
*
added "User error" to error message (had already "User Error").
Pierre Courtieu
2004-05-07
*
Updated.
David Aspinall
2004-05-07
*
New files.
David Aspinall
2004-05-07
*
bug fix with terminal regexp (pb with :"unfold foo in |- *.")
Pierre Courtieu
2004-05-06
*
fixed the need input_spec warning.
Pierre Courtieu
2004-04-23
*
Adjust attempt at multiple file handling. Run make instead of coqc if find a...
David Aspinall
2004-04-23
*
Updated.
David Aspinall
2004-04-23
*
modified the syntax for subscript in coq/pg
Pierre Courtieu
2004-04-23
*
deleted coq x symbols doc in CHANGES.
Pierre Courtieu
2004-04-23
*
Tidy menus, add new commands
David Aspinall
2004-04-22
*
Add extra user options, extra commands, start of new attempt at multiple file.
David Aspinall
2004-04-22
*
Update to Coq 8.0 syntax
David Aspinall
2004-04-22
*
Updated.
David Aspinall
2004-04-21
*
Fix home page address, mention new menu option.
David Aspinall
2004-04-21
*
Update for V8 syntax.
David Aspinall
2004-04-21
*
Updated.
David Aspinall
2004-04-21
*
Deleted the "3 buffers view menu entry" for coq, this is now a
Pierre Courtieu
2004-04-21
*
Updated.
David Aspinall
2004-04-17
*
Compiler warnings
David Aspinall
2004-04-17
*
little fix for x-symbols coq.
Pierre Courtieu
2004-04-16
*
modified the noteq token (become '<>' ).
Pierre Courtieu
2004-04-16
*
added an example fils for coq x-symbols.
Pierre Courtieu
2004-04-16
*
New files.
David Aspinall
2004-04-16
*
Updated.
David Aspinall
2004-04-15
*
Fix typo.
David Aspinall
2004-04-15
*
commented the new tarski example for coq.
Pierre Courtieu
2004-04-15
*
added Knaster - Tarski theorem.
Pierre Courtieu
2004-04-15
*
added some tactical names for coq.
Pierre Courtieu
2004-04-15
*
Add doc for x-symbols
David Aspinall
2004-04-15
*
little change in CHANGES and in coq syntax table.
Pierre Courtieu
2004-04-15
*
Cleanup file by removing some unnecessary settings (I hope)
David Aspinall
2004-04-14
*
Deleted file
David Aspinall
2004-04-14
*
Updated.
David Aspinall
2004-04-14
*
added basic support for imenu for coq.
Pierre Courtieu
2004-04-14
*
added the "return" keyword to coq
Pierre Courtieu
2004-04-14
*
added some commands in coq menu
Pierre Courtieu
2004-04-06
*
fixed coq xsymb table.
Pierre Courtieu
2004-04-06
*
Fixed coq x-symbols. now alphaa is not encoded, aalpha is not encoded,
Pierre Courtieu
2004-04-05
*
Use official indentation\!
David Aspinall
2004-04-02
*
Remove three-buffer stuff (made generic)
David Aspinall
2004-04-02
*
changed ths syntax for sub/superscript:
Pierre Courtieu
2004-04-01
*
added subscript in x-symbols-coq.el.
Pierre Courtieu
2004-03-31
*
debugging coq-x-symbols.el
Pierre Courtieu
2004-03-30
*
added the forall x-symbol to the indent keywords lists.
Pierre Courtieu
2004-03-30
*
Trying to put x-symbols for coq. By copying
Pierre Courtieu
2004-03-30
*
*** empty log message ***
Pierre Courtieu
2004-03-29
*
V8/V7 reserved keywords for coq
Pierre Courtieu
2004-03-29
*
coq < 8.0 menu and abbrevs.
Pierre Courtieu
2004-03-19
[next]