aboutsummaryrefslogtreecommitdiff
path: root/ide/coq_commands.ml
AgeCommit message (Expand)Author
2020-06-02Move CoqIDE to its own folderMaxime Dénès
2020-03-28Remove SearchAbout command, deprecated in 8.5Jim Fehrle
2020-03-18Update headers in the whole code base.Théo Zimmermann
2020-03-03[loadpath] Rework and simplify ML loadpath handlingEmilio Jesus Gallego Arias
2020-01-17Remove the Tactic menu from CoqIDE.Pierre-Marie Pédrot
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2019-05-31Remove Show Script (deprecated in 8.10)Gaëtan Gilbert
2018-07-17Remove fourier pluginMaxime Dénès
2018-02-27Update headers following #6543.Théo Zimmermann
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-05-23[vernac] Remove `Save.` command.Emilio Jesus Gallego Arias
2016-01-20Update copyright headers.Maxime Dénès
2015-02-17Remove Whelp commands.Maxime Dénès
2015-01-12Update headers.Maxime Dénès
2014-09-04Add a [Variant] declaration which allows to write non-recursive variant types.Arnaud Spiwack
2013-04-17Renaming SearchAbout into Search and Search into SearchHead.herbelin
2012-08-08Updating headers.herbelin
2012-03-23Remove old proof-managment commands Suspend/Resumeletouzey
2011-07-16This adds two option tables 'Printing Record' and 'Printing Constructor'herbelin
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-07-08Completing support for F5=About by adding About to the state-preserving comma...herbelin
2008-05-26remove set printing ... and unset printing ... from template menu as they are...jnarboux
2008-05-25- Nouvelle option "Set Printing Existential Instances" pour forcerherbelin
2007-02-16Add subtac keywords to coqide and coqdoc, add 'dec' as keyword in subtac Utils.msozeau
2005-06-03whelp + correction bug affichage de coqidecoq
2004-11-17New command "Print Rewrite HindDb dbname".sacerdot
2004-09-03New command "Add Relation ..." (for the new implementation of setoid_*).sacerdot
2004-07-23"Print Setoids" command added.sacerdot
2004-07-16Nouvelle en-têteherbelin
2004-07-08added commands to idecorbinea
2004-03-16mise a jour des menusmohring
2004-03-15ajout des Print Scopes dans liste commandes sans effetmohring
2004-02-04highlightmarche
2004-02-04search windowcoq
2003-12-30ameliorations coqidecoq
2003-12-12plus de syntaxe v8marche
2003-12-09commandes de coqidemarche
2003-12-08bug de preferencs/font"marche
2003-06-13CoqIDE: undo immediat sur les commandes ne modifiant pas l'etatfilliatr
2003-05-12CoqIde: AccelMap supportmonate
2003-05-07coqide: toolbar/autosavemonate
2003-04-16oubliletouzey
2003-03-15petit oubliletouzey
2003-03-06coqide: fenetre de cmmandes . undo correctmonate
2003-03-05IDE: menu templatesfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:21:03 +0000