aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2013-05-31Authors of ML4PGjoheras
2013-05-31Removing files from ML4PG folderjoheras
2013-05-31Removing ML4PG files from coq folder.joheras
2013-05-31Removing ML4PG files from coq folder.joheras
2013-05-31Inclusion of ML4PG in coq.el file.joheras
2013-05-31Moving ML4PG from coq directory to contrib directory.joheras
2013-05-31Remove link in tar file.David Aspinall
2013-05-31*** empty log message ***joheras
2013-05-31Removing hidden files of ML4PG.joheras
2013-05-31Removing hidden files from ML4PG.joheras
2013-05-31ML4PG modificationjoheras
2013-05-31Documentation of ML4PGjoheras
2013-05-30ML4PG functionality added to Coq menujoheras
2013-05-30*** empty log message ***joheras
2013-05-30Adding some more standard utf8 symbols to indentation operator. WePierre Courtieu
2013-05-29Fixing a minor bug in indetation (exists is tactic and a quantifier).Pierre Courtieu
2013-05-23Run make check before releaseDavid Aspinall
2013-05-22make warnings non-fatal for normal compilation to fix #458, useHendrik Tews
2013-05-22rename ProofGeneral.{jpg,gif} into ProofGeneral-image.{jpg,gif}Hendrik Tews
2013-05-22Retire Serifa font usageDavid Aspinall
2013-05-22Set version tag for new release.David Aspinall
2013-05-22Add ProofGeneral.jpg to distributionDavid Aspinall
2013-05-14- update coq exampleHendrik Tews
2013-05-10Set version tag for new release.David Aspinall
2013-04-19improve docHendrik Tews
2013-03-27add 4.3 news to user manualHendrik Tews
2013-03-27Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 19:42:08 +0000