| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2016-11-16 | first version for quick compilation | Hendrik Tews | |
| Select "Quick compilation mode" in the Coq menu. See also documentation of coq-compile-quick, the and-vio2vo stuff is not yet there. | |||
| 2016-11-10 | avoid leaving partial files behind when compilation fails | Hendrik Tews | |
| 2016-11-02 | fix #123, also improve debugging output | Hendrik Tews | |
| 2016-11-02 | fix error in process filter: Cannot resize window | Hendrik Tews | |
| 2016-10-28 | ensure coq-compile-response-buffer is not in a dedicated window | Hendrik Tews | |
| This makes #54 a bit less critical. | |||
| 2016-10-28 | fix coq-require-command-regexp (fixes #75) | Hendrik Tews | |
| 2016-10-28 | fix typo in last commit | Hendrik Tews | |
| 2016-10-27 | Merge pull request #118 from hendriktews/several-fixes | hendriktews | |
| I believe this PR will also fix #119, therefore I think it is good to merge it now. | |||
| 2016-10-27 | give a more helpful error message if Coq version detection fails | Hendrik Tews | |
| - coq--pre-v85 signals coq-unclassifiable-version for "Invalid version" errors - background compilation converts this into an even more helpful message (fixes #70) | |||
| 2016-10-27 | gitignore for doc subdir | Hendrik Tews | |
| 2016-10-27 | delete TAGS file from repository | Hendrik Tews | |
| 2016-10-27 | fix parallel compilation and improve assertions and debugging code | Hendrik Tews | |
| - fixes #92 | |||
| 2016-10-16 | Update CHANGES. | Erik Martin-Dorel | |
| Related: ProofGeneral/PG#41 | |||
| 2016-10-15 | Follow-up of #115. | Erik Martin-Dorel | |
| 2016-10-14 | Merge pull request #115 from tchajed/macos-rebranding | Erik Martin-Dorel | |
| Refer to Apple's operating system as macOS | |||
| 2016-10-14 | Refer to Apple's operating system as macOS | Tej Chajed | |
| Starting with the latest version (10.12 "Sierra"), the operating system is called macOS rather than Mac OS X. | |||
| 2016-09-28 | Makefile: don't depend on pwd | Clément Pit--Claudel | |
| 2016-09-28 | Make it possible to work around #113 | Clément Pit--Claudel | |
| 2016-09-25 | proof-retract-before-change: Fix #41 by saving/restoring the match data. | Erik Martin-Dorel | |
| 2016-09-24 | Update .travis.yml. | Erik Martin-Dorel | |
| 2016-09-23 | Disable parallel build, to workaround the issue raised in PR #112. | Erik Martin-Dorel | |
| 2016-09-19 | Make shell and perl scripts executable. | Erik Martin-Dorel | |
| This addresses part of the issues pointed out in #112 | |||
| 2016-09-19 | Bump version number for next release cycle. | Erik Martin-Dorel | |
| 2016-09-18 | Update the documentation and prepare the release 4.4. | Erik Martin-Dorel | |
| 2016-09-18 | Comment-out the rcsid ($Id$) that dates from CVS. | Erik Martin-Dorel | |
| 2016-09-18 | Detail. | Erik Martin-Dorel | |
| 2016-09-18 | Promote CHANGES since 2820cb68 as related to PG 4.4. | Erik Martin-Dorel | |
| 2016-09-16 | Fix reference to log-warning-minimum-level | psteckler | |
| Fixes #110. | |||
| 2016-09-01 | Add Context to coq-syntax.el | Jason Gross | |
| 2016-08-25 | Ensure PG overlays have pg-span property (#98) | Tej Chajed | |
| 2016-08-15 | Add Set Printing Universes to options menu | Tej Chajed | |
| 2016-08-14 | Sort the OPTIONS menu items differently & Fix a typo (UnSet -> Unset). | Erik Martin-Dorel | |
| 2016-08-14 | Replace "Set Implicit Arguments" option with "Set Printing Implicit". | Erik Martin-Dorel | |
| Closes #99. | |||
| 2016-08-14 | Add Reserved Infix like Reserved Notation (#95) | Jason Gross | |
| 2016-07-26 | Fix whitespace to comply with Markdown syntax. | Erik Martin-Dorel | |
| 2016-07-26 | Rename FAQ -> FAQ.md | Erik Martin-Dorel | |
| 2016-07-23 | Add documentation about the recommended way to set coq-prog-name. | Erik Martin-Dorel | |
| 2016-07-23 | Run "make magic" to update texi comments from elisp docstrings. | Erik Martin-Dorel | |
| 2016-07-23 | Add myself to the list of maintainers. | Erik Martin-Dorel | |
| 2016-07-22 | Adding the option to highlight susual symbols. | Pierre Courtieu | |
| This may look ugly to the majority, so I let it off by default. I find it helpfull to have structuring symbols bold. | |||
| 2016-07-20 | Merge pull request #87 from erikmd/patch-1 | Pierre Courtieu | |
| Fix (next-undo-elt) to return a relevant undo element w.r.t (undo-delta) | |||
| 2016-07-07 | Fix inforef references to the emacs manual. (#88) | Yuval Langer | |
| 2016-07-04 | Fix (next-undo-elt) to return a relevant undo element w.r.t (undo-delta). | Erik Martin-Dorel | |
| 2016-07-03 | Highlight Existing Class like Existing Instance (#85) | Jason Gross | |
| Closes #81 | |||
| 2016-07-03 | Add Travis CI badge. | Erik Martin-Dorel | |
| 2016-07-03 | emacs-git Travis build: Fix URL of Emacs repo & Build against emacs-25 branch. | Erik Martin-Dorel | |
| Ref: https://github.com/FStarLang/fstar-mode.el/blob/master/Makefile.travis | |||
| 2016-07-03 | Update README.md. | Erik Martin-Dorel | |
| - Specify the language for code excerpts - Refactor the "More info" section. | |||
| 2016-07-03 | Update a link (for latest version of FAQ). | Erik Martin-Dorel | |
| 2016-07-03 | Fix link. | Erik Martin-Dorel | |
| 2016-07-01 | Highlight [nra] like [nia] and [lia] and [lra] (#84) | Jason Gross | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |