aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/ex
Commit message (Expand)AuthorAge
* Fixing #183.Gravatar Pierre Courtieu2017-05-23
* Merge pull request #163 from ProofGeneral/fix_indentationGravatar Pierre Courtieu2017-03-03
|\
* | use Utf8 from Coq libraryGravatar Paul Steckler2017-03-02
| * Fixing #147 and #91 + others indentation bugs.Gravatar Pierre Courtieu2017-01-26
|/
* Fixed lazymatch and multimatch indentation/highlighting.Gravatar Pierre Courtieu2015-03-23
* Fixing indentation of pending curly braces.Gravatar Pierre Courtieu2015-01-05
* trying to indent pending forall in the expected wayGravatar Pierre Courtieu2015-01-05
* fixed indentation (lexing of 'with') + made local coq-load-path.Gravatar Pierre Courtieu2014-12-30
* fixed a bug in command parsing for coq, due to recent changes.Gravatar Pierre Courtieu2014-12-24
* * coq/coq-smie.el: Fix precedence of 'else'.Gravatar Stefan Monnier2014-06-06
* * coq-smie.el (coq-smie-.-deambiguate): Proofs don't start with a definition.Gravatar Stefan Monnier2014-06-04
* Rename coq-smie-lexer.el to coq-smie.el.Gravatar Stefan Monnier2014-06-03
* Fixing another bug in indentation concerning "where". Actually thereGravatar Pierre Courtieu2013-07-11
* - first version of parallel asynchronous compilation for coq inGravatar Hendrik Tews2012-11-13
* Fixed incorrect syntax of previous commit.Gravatar Pierre Courtieu2012-07-10
* Indentation is a bit more accurate.Gravatar Pierre Courtieu2012-06-08
* Fix indentation of dependent match clauses (as ... in ... return ...).Gravatar Pierre Courtieu2012-06-07
* One more fix for indentation.Gravatar Pierre Courtieu2012-06-04
* Fix a bug of indentation.Gravatar Pierre Courtieu2012-06-03
* fix typo + add one missing cvsignoreGravatar Hendrik Tews2012-05-09
* Fixed an ineficiency in comment detection.Gravatar Pierre Courtieu2012-02-10
* TypoGravatar David Aspinall2011-12-27
* Fixing the scripting of new subproof script parenthesizing ({ and }).Gravatar Pierre Courtieu2011-07-08
* Some more sample indentation patterns added.Gravatar Pierre Courtieu2011-07-01
* oops, undo last commit.Gravatar Pierre Courtieu2011-06-17
* Fix trac #410.Gravatar Pierre Courtieu2011-06-10
* Added one indentation example.Gravatar Pierre Courtieu2011-06-08
* Updated the old code for indentation, in case Stefan cannot finish theGravatar Pierre Courtieu2011-06-04
* - minor changes: clean personal todo list + adjust test case descriptionGravatar Hendrik Tews2011-05-20
* - add test coq/ex/test-cases/change-ancestor for theGravatar Hendrik Tews2011-05-12
* - adjust coq-ask-insert-coq-prog-name and doc in coq-local-vars-docGravatar Hendrik Tews2011-02-28
* - fix problem descriptionGravatar Hendrik Tews2011-01-26
* - use time-less-pGravatar Hendrik Tews2011-01-21
* - fixed stale load path problem with killing the proof shell inGravatar Hendrik Tews2011-01-18
* fix problems in test casesGravatar Hendrik Tews2011-01-17
* - more coq test cases (some with surprising and embarrassing bugs)Gravatar Hendrik Tews2011-01-14
* - move proof-no-fully-processed-buffer to generic/proof-configGravatar Hendrik Tews2011-01-14
* Fixed small bugs in indentation.Gravatar Pierre Courtieu2010-09-09
* illustrating the wrongness of the current multifile processing for coq.Gravatar Pierre Courtieu2010-09-08
* Added three files for testing multi file scripting.Gravatar Pierre Courtieu2010-09-08
* Moved filesGravatar David Aspinall2010-08-15
* Renamed fileGravatar David Aspinall2010-08-13
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-02 09:53:49 +0000