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
/
ex
Commit message (
Expand
)
Author
Age
*
Fixing #183.
Pierre Courtieu
2017-05-23
*
Merge pull request #163 from ProofGeneral/fix_indentation
Pierre Courtieu
2017-03-03
|
\
*
|
use Utf8 from Coq library
Paul Steckler
2017-03-02
|
*
Fixing #147 and #91 + others indentation bugs.
Pierre Courtieu
2017-01-26
|
/
*
Fixed lazymatch and multimatch indentation/highlighting.
Pierre Courtieu
2015-03-23
*
Fixing indentation of pending curly braces.
Pierre Courtieu
2015-01-05
*
trying to indent pending forall in the expected way
Pierre Courtieu
2015-01-05
*
fixed indentation (lexing of 'with') + made local coq-load-path.
Pierre Courtieu
2014-12-30
*
fixed a bug in command parsing for coq, due to recent changes.
Pierre Courtieu
2014-12-24
*
* coq/coq-smie.el: Fix precedence of 'else'.
Stefan Monnier
2014-06-06
*
* coq-smie.el (coq-smie-.-deambiguate): Proofs don't start with a definition.
Stefan Monnier
2014-06-04
*
Rename coq-smie-lexer.el to coq-smie.el.
Stefan Monnier
2014-06-03
*
Fixing another bug in indentation concerning "where". Actually there
Pierre Courtieu
2013-07-11
*
- first version of parallel asynchronous compilation for coq in
Hendrik Tews
2012-11-13
*
Fixed incorrect syntax of previous commit.
Pierre Courtieu
2012-07-10
*
Indentation is a bit more accurate.
Pierre Courtieu
2012-06-08
*
Fix indentation of dependent match clauses (as ... in ... return ...).
Pierre Courtieu
2012-06-07
*
One more fix for indentation.
Pierre Courtieu
2012-06-04
*
Fix a bug of indentation.
Pierre Courtieu
2012-06-03
*
fix typo + add one missing cvsignore
Hendrik Tews
2012-05-09
*
Fixed an ineficiency in comment detection.
Pierre Courtieu
2012-02-10
*
Typo
David Aspinall
2011-12-27
*
Fixing the scripting of new subproof script parenthesizing ({ and }).
Pierre Courtieu
2011-07-08
*
Some more sample indentation patterns added.
Pierre Courtieu
2011-07-01
*
oops, undo last commit.
Pierre Courtieu
2011-06-17
*
Fix trac #410.
Pierre Courtieu
2011-06-10
*
Added one indentation example.
Pierre Courtieu
2011-06-08
*
Updated the old code for indentation, in case Stefan cannot finish the
Pierre Courtieu
2011-06-04
*
- minor changes: clean personal todo list + adjust test case description
Hendrik Tews
2011-05-20
*
- add test coq/ex/test-cases/change-ancestor for the
Hendrik Tews
2011-05-12
*
- adjust coq-ask-insert-coq-prog-name and doc in coq-local-vars-doc
Hendrik Tews
2011-02-28
*
- fix problem description
Hendrik Tews
2011-01-26
*
- use time-less-p
Hendrik Tews
2011-01-21
*
- fixed stale load path problem with killing the proof shell in
Hendrik Tews
2011-01-18
*
fix problems in test cases
Hendrik Tews
2011-01-17
*
- more coq test cases (some with surprising and embarrassing bugs)
Hendrik Tews
2011-01-14
*
- move proof-no-fully-processed-buffer to generic/proof-config
Hendrik Tews
2011-01-14
*
Fixed small bugs in indentation.
Pierre Courtieu
2010-09-09
*
illustrating the wrongness of the current multifile processing for coq.
Pierre Courtieu
2010-09-08
*
Added three files for testing multi file scripting.
Pierre Courtieu
2010-09-08
*
Moved files
David Aspinall
2010-08-15
*
Renamed file
David Aspinall
2010-08-13