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
*
Clean compile
David Aspinall
2009-09-10
*
Fix compilation for Coq, including requires and some old/renamed settings.
David Aspinall
2009-09-10
*
Another V-8-1 test
David Aspinall
2009-09-09
*
Remove more V8 compatibility (thanks to Pierre for carefully highlighting it)
David Aspinall
2009-09-09
*
Remove Coq 8.0 code
David Aspinall
2009-09-08
*
Remove some spaces
David Aspinall
2009-09-08
*
Remove more of 80 code
David Aspinall
2009-09-08
*
Simplify coq-find-and-forget and drop v80 version
David Aspinall
2009-09-08
*
Remove system-specific code as message before goals handled in core now. Alte...
David Aspinall
2009-09-08
*
Comments
David Aspinall
2009-09-08
*
Comments
David Aspinall
2009-09-08
*
Oops: repair hybrid output broken by two window fix! See trac #109.
David Aspinall
2009-09-08
*
Repair two-window working mode for when Coq doesn't produce hybrid output.
David Aspinall
2009-09-08
*
Fix compiler warnings.
David Aspinall
2009-09-07
*
(C) date
David Aspinall
2009-09-07
*
Fix compile warnings and ensure compiled code behaves as expected.
David Aspinall
2009-09-07
*
Fix compile warning, rearrange docs
David Aspinall
2009-09-07
*
Require cl for compilation. Rearrange docs.
David Aspinall
2009-09-07
*
Update for Unicode Tokens.
David Aspinall
2009-09-07
*
Add documentation to explain usage.
David Aspinall
2009-09-07
*
Move holes menu to holes mode
David Aspinall
2009-09-06
*
Remove proof-shell-wakeup-char, proof-shell-prompt-pattern.
David Aspinall
2009-09-06
*
Moved doc of holes to holes-mode
David Aspinall
2009-09-06
*
Missing require
David Aspinall
2009-09-05
*
Clean whitespace
David Aspinall
2009-09-05
*
replace-in-string-> replace-regexp-in-string
David Aspinall
2009-09-05
*
Remove proof-shell-prompt-pattern, no longer used.
David Aspinall
2009-09-04
*
Remove proof-no-command
David Aspinall
2009-09-04
*
Remove some old X-Symbol references.
David Aspinall
2009-09-01
*
Spurious 'isabelle ref.
David Aspinall
2009-09-01
*
Merge in Isar and Coq bugs
David Aspinall
2009-08-31
*
Made customizable holes mode completion in abbreviations.
Pierre Courtieu
2009-08-31
*
Move fontsymb properties to library file.
David Aspinall
2009-08-28
*
Doc fix
David Aspinall
2009-08-28
*
*** empty log message ***
David Aspinall
2009-08-19
*
Minor changes from Stefan Monnier's patch
David Aspinall
2009-08-17
*
Rename proof-shell-process-output -> proof-shell-classify-output
David Aspinall
2009-08-14
*
Add indirection for setting unicode tokens variables to add customize menu op...
David Aspinall
2009-08-12
*
Emulate old behaviour after all
David Aspinall
2009-08-06
*
Remove asterisks from docstrings of pacustoms (will appear in menus now)
David Aspinall
2009-07-30
*
Cleanup more Emacs compatibility
David Aspinall
2009-05-27
*
fixed a bug with region-exists-p not defined in some emacsen.
Pierre Courtieu
2009-04-16
*
fixed a bad interaction with Coq -R option
Assia Mahboubi
2009-03-17
*
Fixing parenthesis not accepted by recent emacs anymore. fix by Stefan
Pierre Courtieu
2008-10-22
*
Fixing region access for emacs <= 22.
Pierre Courtieu
2008-10-02
*
Fixed the bug with coq-guess-command-line.
Pierre Courtieu
2008-07-24
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
*
Fixed http://proofgeneral.inf.ed.ac.uk/trac/ticket/233
David Aspinall
2008-07-24
*
Deleted file
David Aspinall
2008-07-22
*
Changed the main menu of coq. Changed a shortcut for holes.
Pierre Courtieu
2008-07-21
[next]