aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coqide.mli
Commit message (Expand)AuthorAge
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* Remove GeoProof support.Gravatar Maxime Dénès2017-10-11
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Update headers.Gravatar Maxime Dénès2015-01-12
* Coqide: get rid of threads, use gtk asynchronous i/o insteadGravatar letouzey2012-12-08
* Coqide: better handling of gtk messages + fix win32 stdout/stderr reroutingGravatar letouzey2012-12-07
* Coqide: no reason to ignore Ctrl-CGravatar letouzey2012-12-07
* Updating headers.Gravatar herbelin2012-08-08
* Coqide: display initial connection errors in popups instead of on stderrGravatar letouzey2012-05-15
* Add option -f to coqideGravatar pboutill2011-09-01
* coqide shutdown process change (and out the main function)Gravatar pboutill2011-04-08
* Coqide: avoid confusion of process when restarting coqtop + cosmeticGravatar letouzey2011-03-30
* Ide: new option -coqtop <mycoqtop> + remove wrong quoting of argsGravatar letouzey2011-03-28
* Ide: experimentally allow coqide to interrupt or kill coqtopGravatar letouzey2011-03-23
* MacOS integrationGravatar pboutill2011-01-07
* 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
* Compatibilité ocamlweb pour cible docGravatar herbelin2005-01-21
* Nouvelle en-têteGravatar herbelin2004-07-16
* coqide: missing filesGravatar monate2003-05-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-04 06:10:35 +0000