aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq
Commit message (Expand)AuthorAge
* trying to indent pending forall in the expected wayGravatar Pierre Courtieu2015-01-05
* removed debug message.Gravatar Pierre Courtieu2014-12-30
* 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
* typo in indentation cod, found after testing coq/ex/indent.v.Gravatar Pierre Courtieu2014-12-24
* fixing a small pb in indentation of arrow (->). Not perfect.Gravatar Pierre Courtieu2014-12-24
* fixed the use of >= 24.4 function string-suffix-p.Gravatar Pierre Courtieu2014-12-24
* Supporting more bullets (coq 8.5), like ++ or ++++.Gravatar Pierre Courtieu2014-12-23
* Fix a special case in _CoqProject syntax (empty string).Gravatar Pierre Courtieu2014-12-23
* Refix prettify compilation bug.Gravatar Pierre Courtieu2014-12-23
* fixed comilation of prettify setting.Gravatar Pierre Courtieu2014-12-23
* Fixed a compilation issue + small display glitch in coqpgGravatar Pierre Courtieu2014-12-22
* Fixing a bug of multiple frame mode (obsolete variable in emacs > 23.4.Gravatar Pierre Courtieu2014-12-22
* Fixed response display spurious newlines for coq.Gravatar Pierre Courtieu2014-12-18
* Remove trailing space in info messages in coq mode.Gravatar Pierre Courtieu2014-12-16
* Added a way to print eager message without warning face.Gravatar Pierre Courtieu2014-12-16
* make name filtering of searchabout more precise.Gravatar Pierre Courtieu2014-12-09
* Added a variant of searchAbout hiding some spurious entries.Gravatar Pierre Courtieu2014-12-09
* * 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
* * coq.el (coq-prettify-symbols-alist): New var.Gravatar Stefan Monnier2014-06-02
* Fixing coq project file parsing + moved project options.Gravatar Pierre Courtieu2013-07-22
* fix type of coq-project-filenameGravatar Hendrik Tews2013-07-17
* disable and protect coq-hide-additional-subgoals-switch for coq-time-commandsGravatar Hendrik Tews2013-07-17
* add two Coq faq entries and improve some otherGravatar Hendrik Tews2013-07-11
* fix typo and compilationGravatar Hendrik Tews2013-07-11
* fix two bugs in parallel compilation for CoqGravatar Hendrik Tews2013-07-11
* Fixing a big bug in coq project file management.Gravatar Pierre Courtieu2013-07-11
* Fixing another bug in indentation concerning "where". Actually thereGravatar Pierre Courtieu2013-07-11
* Fixing #478 + reverting partially the fix of #476 (Instance cannot be indente...Gravatar Pierre Courtieu2013-07-10
* Fixing #476 (bis). Adding Fixpoint as a goal starter.Gravatar Pierre Courtieu2013-07-10
* Fixing #477. Adding Proposition as a goal-starter keyword.Gravatar Pierre Courtieu2013-07-10
* Fixing #476. Adding more keywords for indentation like Lemma.Gravatar Pierre Courtieu2013-07-10
* Fixing #475. the "=>" ptoken just before "exists" should be the ltacGravatar Pierre Courtieu2013-07-10
* Fixed interaction between file variables and coq project file + faq.Gravatar Pierre Courtieu2013-07-09
* Updating coq/faqGravatar Pierre Courtieu2013-07-08
* Fixing again bug #466. With a bbetter solution.Gravatar Pierre Courtieu2013-07-08
* Fixing #474. & is now an declared operator. I need something better toGravatar Pierre Courtieu2013-07-06
* Fixing #473. Now all token finishing by <symbol><dot> is considered anGravatar Pierre Courtieu2013-07-06
* Fixing #466. Indent. bug when illformed commment at file beginning.Gravatar Pierre Courtieu2013-07-05
* Fixing a compilation warning for a ml4pg function in coq.el.Gravatar Pierre Courtieu2013-07-04
* Fixing undeclared variables for compilation.Gravatar Pierre Courtieu2013-07-04
* Added faq for coq pg.Gravatar Pierre Courtieu2013-07-02
* Fixing coq project file mechanism.Gravatar Pierre Courtieu2013-07-02
* Adding support for coq project file for setting coqdoc args.Gravatar Pierre Courtieu2013-06-19
* Adding support for coq project file for setting coqdoc args.Gravatar Pierre Courtieu2013-06-19
* Removing files from ML4PG folderGravatar joheras2013-05-31
* Removing ML4PG files from coq folder.Gravatar joheras2013-05-31
* Removing ML4PG files from coq folder.Gravatar joheras2013-05-31
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-31 17:03:49 +0000