aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq
Commit message (Expand)AuthorAge
* 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
* Inclusion of ML4PG in coq.el file.Gravatar joheras2013-05-31
* *** empty log message ***Gravatar joheras2013-05-31
* Removing hidden files of ML4PG.Gravatar joheras2013-05-31
* Removing hidden files from ML4PG.Gravatar joheras2013-05-31
* ML4PG modificationGravatar joheras2013-05-31
* Documentation of ML4PGGravatar joheras2013-05-31
* ML4PG functionality added to Coq menuGravatar joheras2013-05-30
* *** empty log message ***Gravatar joheras2013-05-30
* Adding some more standard utf8 symbols to indentation operator. WeGravatar Pierre Courtieu2013-05-30
* Fixing a minor bug in indetation (exists is tactic and a quantifier).Gravatar Pierre Courtieu2013-05-29
* - update coq exampleGravatar Hendrik Tews2013-05-14
* improve docGravatar Hendrik Tews2013-04-19
* fix overwriting the empty compilation queueGravatar Hendrik Tews2013-03-05
* small improvementGravatar Hendrik Tews2013-02-20
* fix parallel Coq compilation: report error for circular dependenciesGravatar Hendrik Tews2013-02-18
* move message about killing coq compilation processesGravatar Hendrik Tews2013-02-18
* - implement retract from prooftreeGravatar Hendrik Tews2013-01-20
* Fixed a bug with window height optimization.Gravatar Pierre Courtieu2013-01-17
* - support Grab Existential Variables for ProoftreeGravatar Hendrik Tews2013-01-17
* - support bullets and braces in ProoftreeGravatar Hendrik Tews2013-01-15
* - fix asserting when parallel background compilation is in progressGravatar Hendrik Tews2013-01-03
* - fix problem in emergency process killingGravatar Hendrik Tews2012-11-14
* all-cpus option for coq-max-background-compilation-jobsGravatar Hendrik Tews2012-11-14
* fix coq-lock-ancestor for parallel compilationGravatar Hendrik Tews2012-11-14
* update documentationGravatar Hendrik Tews2012-11-14
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-09 18:52:51 +0000