aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2014-12-18Fixed response display spurious newlines for coq.Pierre Courtieu
2014-12-16Remove trailing space in info messages in coq mode.Pierre Courtieu
2014-12-16Added a way to print eager message without warning face.Pierre Courtieu
2014-12-09make name filtering of searchabout more precise.Pierre Courtieu
2014-12-09Added a variant of searchAbout hiding some spurious entries.Pierre Courtieu
2014-06-06Don't mess with overlay priorities.Stefan Monnier
2014-06-06* coq/coq-smie.el: Fix precedence of 'else'.Stefan Monnier
2014-06-04* coq-smie.el (coq-smie-.-deambiguate): Proofs don't start with a definition.Stefan Monnier
2014-06-03Rename coq-smie-lexer.el to coq-smie.el.Stefan Monnier
2014-06-02* coq.el (coq-prettify-symbols-alist): New var.Stefan Monnier
2014-06-02* pg-response.el (proof-multiple-frames-enable, proof-next-error): Use newStefan Monnier
2014-01-18unicode tokens for \<open>, \<close>, \<newline>;Makarius Wenzel
2013-10-11Set version tag for new release.David Aspinall
2013-07-22Added comment.Pierre Courtieu
2013-07-22Added some information on coq project file in doc.Pierre Courtieu
2013-07-22Fixing coq project file parsing + moved project options.Pierre Courtieu
2013-07-17fix type of coq-project-filenameHendrik Tews
2013-07-17disable and protect coq-hide-additional-subgoals-switch for coq-time-commandsHendrik Tews
2013-07-17Fix image nameDavid Aspinall
2013-07-17Set version tag for new release.David Aspinall
2013-07-17update TAGSHendrik Tews
2013-07-17fix ProofGeneral.texi for infoHendrik Tews
2013-07-11add two Coq faq entries and improve some otherHendrik Tews
2013-07-11remove backup fileHendrik Tews
2013-07-11fix typo and compilationHendrik Tews
2013-07-11fix two bugs in parallel compilation for CoqHendrik Tews
2013-07-11Fixing a big bug in coq project file management.Pierre Courtieu
2013-07-11Fixing another bug in indentation concerning "where". Actually therePierre Courtieu
2013-07-10Fixing #478 + reverting partially the fix of #476 (Instance cannot be indente...Pierre Courtieu
2013-07-10Fixing #476 (bis). Adding Fixpoint as a goal starter.Pierre Courtieu
2013-07-10Fixing #477. Adding Proposition as a goal-starter keyword.Pierre Courtieu
2013-07-10Fixing #476. Adding more keywords for indentation like Lemma.Pierre Courtieu
2013-07-10Fixing #475. the "=>" ptoken just before "exists" should be the ltacPierre Courtieu
2013-07-09Fixed interaction between file variables and coq project file + faq.Pierre Courtieu
2013-07-08Updating coq/faqPierre Courtieu
2013-07-08Fixing again bug #466. With a bbetter solution.Pierre Courtieu
2013-07-06Fixing #474. & is now an declared operator. I need something better toPierre Courtieu
2013-07-06Fixing #473. Now all token finishing by <symbol><dot> is considered anPierre Courtieu
2013-07-05Updating pg documentation about new feature coq project file.Pierre Courtieu
2013-07-05Fixing #466. Indent. bug when illformed commment at file beginning.Pierre Courtieu
2013-07-05more appropriate URL;Makarius Wenzel
2013-07-05Set version tag for new release.David Aspinall
2013-07-05Document Make checkDavid Aspinall
2013-07-04Fixing a compilation warning for a ml4pg function in coq.el.Pierre Courtieu
2013-07-04Fixing undeclared variables for compilation.Pierre Courtieu
2013-07-02Added faq for coq pg.Pierre Courtieu
2013-07-02Fixing coq project file mechanism.Pierre Courtieu
2013-06-21Added an entry to CHANGEs about coq project fields.Pierre Courtieu
2013-06-19Adding support for coq project file for setting coqdoc args.Pierre Courtieu
2013-06-19Adding support for coq project file for setting coqdoc args.Pierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 06:40:03 +0000