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
*
One more fix for indentation.
Pierre Courtieu
2012-06-04
*
Fixing indentation (same bug than 2 previous commits). this time it seems ok.
Pierre Courtieu
2012-06-04
*
Fixing the last fix on indentation. Still not perfect.
Pierre Courtieu
2012-06-04
*
Fix a bug of indentation.
Pierre Courtieu
2012-06-03
*
Fix of a bug. coq id can start with underscore.
Pierre Courtieu
2012-05-31
*
- erase invalid coq-load-path entry format '("dir")
Hendrik Tews
2012-05-29
*
another hide additional subgoals fix
Hendrik Tews
2012-05-26
*
fix "Hide Additional Subgoals" for coq 8.4beta
Hendrik Tews
2012-05-24
*
fix typo + add one missing cvsignore
Hendrik Tews
2012-05-09
*
fix coqdep error recognition
Hendrik Tews
2012-02-13
*
Fixed an ineficiency in comment detection.
Pierre Courtieu
2012-02-10
*
Cleaning some code.
Pierre Courtieu
2012-02-01
*
Quick fix of a regression introduced by my last commit. Looking for a
Pierre Courtieu
2012-02-01
*
Fixed command end recognition in presence of operators of the form .+
Pierre Courtieu
2012-02-01
*
Fixed a small bug in indentation (ter repetita). Bullets are indented
Pierre Courtieu
2012-01-18
*
Fixed a small bug in indentation (bis repetita).
Pierre Courtieu
2012-01-18
*
Fixed a small bug in indentation.
Pierre Courtieu
2012-01-18
*
Support proof-shell-interactive-prompt-regexp, ref Trac #430
David Aspinall
2012-01-10
*
proof-shell-start-goals-regexp: shy match to avoid introducing match group
David Aspinall
2012-01-09
*
* fix case where some existential is instantiated with the last proof command
Hendrik Tews
2012-01-04
*
hide the dependent evars line
Hendrik Tews
2012-01-03
*
merge ProofTreeBranch into main trunk:
Hendrik Tews
2012-01-03
*
Extra test
David Aspinall
2011-12-27
*
Typo
David Aspinall
2011-12-27
*
Fixed some regexp. One for goal closing detection and one for
Pierre Courtieu
2011-12-16
*
Adapting coq syntax recognition to the future v8.4 behavior of bullets
Pierre Courtieu
2011-12-16
*
- protect proof-shell-handle-delayed-output against the case where
Hendrik Tews
2011-12-07
*
ensure optim-resp-window does not change the current buffer
Hendrik Tews
2011-12-06
*
Applied a patch from Tom Prince which makes
Pierre Courtieu
2011-12-05
*
Quick stab at support for switching to proof shell when interactive support e...
David Aspinall
2011-11-15
*
Small fixes to coq smie indentation.
Pierre Courtieu
2011-11-14
*
Fixed coq smie indentation.
Pierre Courtieu
2011-11-11
*
Fixed coq smie indentation.
Pierre Courtieu
2011-11-10
*
fixed some small bugs in coq indentation smie code.
Pierre Courtieu
2011-11-10
*
added utf8 quantifiers for indentation + small fix in indentation.
Pierre Courtieu
2011-11-08
*
Fixing syntax.
Pierre Courtieu
2011-11-07
*
Fixed a bit more smie coq indentation. Still unfinished but useable.
Pierre Courtieu
2011-11-07
*
Fixed several more bugs in smie indentation code. Not finished.
Pierre Courtieu
2011-11-05
*
slowly fixing the last small bugs in smie indentation.
Pierre Courtieu
2011-11-04
*
Fix previous commit (again).
Pierre Courtieu
2011-11-04
*
Fix previous commit.
Pierre Courtieu
2011-11-04
*
* coq.el (coq-smie-forward-token): Simplify by delegating to backward-token.
Stefan Monnier
2011-11-03
*
Fixed the indentation of different kinds of use of the with keyword.
Pierre Courtieu
2011-11-03
*
Added bullet indentation in smie code. smie code still needs some
Pierre Courtieu
2011-11-02
*
Attempt to support stricter bytecomp flags
David Aspinall
2011-10-17
*
Update dates and versions
David Aspinall
2011-10-03
*
Move a comment to docstring
David Aspinall
2011-10-03
*
fix coqdep warning treated as error (library occurring at
Hendrik Tews
2011-09-23
*
fix widget descriptions of coq-load-path
Hendrik Tews
2011-09-15
*
-add support for -R and -I -as in coq-load-path
Hendrik Tews
2011-09-15
[next]