aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq-abbrev.el
Commit message (Expand)AuthorAge
* 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
* Cleaning in coq and lib, fixed licenses and docstrings.Gravatar Pierre Courtieu2006-08-23
* Finished making functions over big tables non recursive. Works withGravatar Pierre Courtieu2006-08-23
* Making non recursive functions to make fsf emacs happy, not yet finished.Gravatar Pierre Courtieu2006-08-22
* Big redesign of the coq syntax defintion, centralization in big tablesGravatar Pierre Courtieu2006-08-22
* Menus redesign, new interactive tactics/commands/termsGravatar Pierre Courtieu2006-08-21
* Started the coq-insert-tactic.Gravatar Pierre Courtieu2006-08-21
* continue on the support for local variables list semi-automaticGravatar Pierre Courtieu2006-08-17
* Added entries in coq menu, rearranged coq menu.Gravatar Pierre Courtieu2006-08-16
* added match...with automatic building from atype name.Gravatar Pierre Courtieu2005-11-07
* added some entris in coq menus.Gravatar Pierre Courtieu2005-04-21
* small modifications, updating doc string of holes.el.Gravatar Pierre Courtieu2005-03-08
* making holes.el cleaner, with the help of Stefan Monnier. I had toGravatar Pierre Courtieu2005-03-08
* Updated the doc for new pg/coq. Made modifications advised by StefanGravatar Pierre Courtieu2005-02-17
* cleaning holes.el. All functions are prefixed with "holes-". AlsoGravatar Pierre Courtieu2005-02-14
* bug fix with terminal regexp (pb with :"unfold foo in |- *.")Gravatar Pierre Courtieu2004-05-06
* Tidy menus, add new commandsGravatar David Aspinall2004-04-22
* Deleted the "3 buffers view menu entry" for coq, this is now aGravatar Pierre Courtieu2004-04-21
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-16 14:28:58 +0000