aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coq_commands.ml
Commit message (Expand)AuthorAge
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* [vernac] Remove `Save.` command.Gravatar Emilio Jesus Gallego Arias2017-05-23
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Remove Whelp commands.Gravatar Maxime Dénès2015-02-17
* Update headers.Gravatar Maxime Dénès2015-01-12
* Add a [Variant] declaration which allows to write non-recursive variant types.Gravatar Arnaud Spiwack2014-09-04
* Renaming SearchAbout into Search and Search into SearchHead.Gravatar herbelin2013-04-17
* Updating headers.Gravatar herbelin2012-08-08
* Remove old proof-managment commands Suspend/ResumeGravatar letouzey2012-03-23
* This adds two option tables 'Printing Record' and 'Printing Constructor'Gravatar herbelin2011-07-16
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Completing support for F5=About by adding About to the state-preserving comma...Gravatar herbelin2009-07-08
* remove set printing ... and unset printing ... from template menu as they are...Gravatar jnarboux2008-05-26
* - Nouvelle option "Set Printing Existential Instances" pour forcerGravatar herbelin2008-05-25
* Add subtac keywords to coqide and coqdoc, add 'dec' as keyword in subtac Utils.Gravatar msozeau2007-02-16
* whelp + correction bug affichage de coqideGravatar coq2005-06-03
* New command "Print Rewrite HindDb dbname".Gravatar sacerdot2004-11-17
* New command "Add Relation ..." (for the new implementation of setoid_*).Gravatar sacerdot2004-09-03
* "Print Setoids" command added.Gravatar sacerdot2004-07-23
* Nouvelle en-têteGravatar herbelin2004-07-16
* added commands to ideGravatar corbinea2004-07-08
* mise a jour des menusGravatar mohring2004-03-16
* ajout des Print Scopes dans liste commandes sans effetGravatar mohring2004-03-15
* highlightGravatar marche2004-02-04
* search windowGravatar coq2004-02-04
* ameliorations coqideGravatar coq2003-12-30
* plus de syntaxe v8Gravatar marche2003-12-12
* commandes de coqideGravatar marche2003-12-09
* bug de preferencs/font"Gravatar marche2003-12-08
* CoqIDE: undo immediat sur les commandes ne modifiant pas l'etatGravatar filliatr2003-06-13
* CoqIde: AccelMap supportGravatar monate2003-05-12
* coqide: toolbar/autosaveGravatar monate2003-05-07
* oubliGravatar letouzey2003-04-16
* petit oubliGravatar letouzey2003-03-15
* coqide: fenetre de cmmandes . undo correctGravatar monate2003-03-06
* IDE: menu templatesGravatar filliatr2003-03-05