aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq-abbrev.el
Commit message (Expand)AuthorAge
* Cosmetic cleanup of coq-smie, coq-syntax, and coq-abbrev.Gravatar Stefan Monnier2018-12-15
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Remove mmm and ML4PG contribs and remove references to them in code and docsGravatar Paul Steckler2017-05-24
* Merge pull request #157 from ProofGeneral/elpaGravatar Clément Pit-Claudel2017-05-05
|\
* | Added support for future new options (trunk).Gravatar Pierre Courtieu2017-03-22
| * Remove uses of defpgdefault in coq-abbrevGravatar Clément Pit--Claudel2017-03-08
| * Fix incorrect assumption that noninteractive == byte-compilingGravatar Clément Pit--Claudel2017-03-08
|/
* save settings not defined with defpacustom (fixes #142)Gravatar Hendrik Tews2017-01-19
* Merge pull request #101 from tchajed/print-universes-optionGravatar hendriktews2016-12-15
|\
* | fix generic interrupt procedure to interrupt parallel background compilationGravatar Hendrik Tews2016-12-14
* | option coq-compile-keep-going for parallel compilationGravatar Hendrik Tews2016-12-08
* | reconcile menu for auto compilationGravatar Hendrik Tews2016-11-18
* | first version for quick compilationGravatar Hendrik Tews2016-11-16
| * Add Set Printing Universes to options menuGravatar Tej Chajed2016-08-15
|/
* Sort the OPTIONS menu items differently & Fix a typo (UnSet -> Unset).Gravatar Erik Martin-Dorel2016-08-14
* Replace "Set Implicit Arguments" option with "Set Printing Implicit".Gravatar Erik Martin-Dorel2016-08-14
* Adding an setting for Search Blacklist coq option.Gravatar Pierre Courtieu2015-12-09
* proof-assert-command-hook added + Auto adjust width in coq mode.Gravatar Pierre Courtieu2015-10-12
* A command to set coq printing width smartly.Gravatar Pierre Courtieu2015-03-26
* Added a command to send Queries to coq, with completion (C-c C-a C-q).Gravatar Pierre Courtieu2015-03-13
* Added a variant of searchAbout hiding some spurious entries.Gravatar Pierre Courtieu2014-12-09
* Fixing coq project file parsing + moved project options.Gravatar Pierre Courtieu2013-07-22
* ML4PG functionality added to Coq menuGravatar joheras2013-05-30
* Fixed #419: coq synchronized variables are not anymore in the settingsGravatar Pierre Courtieu2012-09-25
* Added a menu to set the 3 windows layout.Gravatar Pierre Courtieu2012-09-25
* Fixed double hit terminator. Now it is disabled by default, andGravatar Pierre Courtieu2012-09-05
* Changed the behaviour of proof-layout-windows. Now it follows theGravatar Pierre Courtieu2012-08-31
* Making better menus for Coq. Menus visible in response and goals buffer.Gravatar Pierre Courtieu2012-07-22
* Added completion to insert Require, based on coq-load-path.Gravatar Pierre Courtieu2012-07-09
* Fixed a small bug in indentation + added new commands for queries withGravatar Pierre Courtieu2012-07-09
* Summary: coq-smie: improve indentation.Gravatar Stefan Monnier2011-06-07
* Alternative fix to #382.Gravatar David Aspinall2011-01-18
* Fix trac 382 by not setting save-abbrevs.Gravatar Pierre Courtieu2011-01-18
* Fixed experimental feature of storing response or goal in a persistentGravatar Pierre Courtieu2010-09-01
* CommentsGravatar David Aspinall2009-09-08
* Move holes menu to holes modeGravatar David Aspinall2009-09-06
* Moved doc of holes to holes-modeGravatar David Aspinall2009-09-06
* Clean whitespaceGravatar David Aspinall2009-09-05
* Changed the main menu of coq. Changed a shortcut for holes.Gravatar Pierre Courtieu2008-07-21
* Remove faulty testGravatar David Aspinall2008-07-05
* Fixed a bug with abbrev table definition.Gravatar Pierre Courtieu2008-05-22
* Fixed a problem with a wrong side effect on syntax databases (whenGravatar Pierre Courtieu2008-01-28
* Many compatibility updates, bug fixes, rearrangements for compilation.Gravatar David Aspinall2008-01-15
* Fixed abbrev installation. + small fixes.Gravatar Pierre Courtieu2008-01-03
* Fix compilation problems and rearrange startup settings for coq-prog-name,coq...Gravatar David Aspinall2007-12-14
* Remove eval-when, seems unreliableGravatar David Aspinall2007-12-14
* Attempt to fix compile problemsGravatar David Aspinall2007-12-14
* Added some unknown keyword (not changing state). Fixes bug 113 from emakarov.MGravatar Pierre Courtieu2007-04-26
* Fixed a small bug in indentation of coq.Gravatar Pierre Courtieu2006-08-25
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-02 10:27:00 +0000