aboutsummaryrefslogtreecommitdiff
path: root/ide/coq.mli
AgeCommit message (Expand)Author
2020-06-02Move CoqIDE to its own folderMaxime Dénès
2020-03-18Update headers in the whole code base.Théo Zimmermann
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2018-07-26Expose the diff printing option as an UI entry in CoqIDE.Pierre-Marie Pédrot
2018-02-27Update headers following #6543.Théo Zimmermann
2018-02-15[ide] Localize a IDE-specific flag.Emilio Jesus Gallego Arias
2017-08-23Fix BZ#5687: Coqtop died badly modal message box from CoqIDE.Pierre-Marie Pédrot
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-05-04Adding an option "Printing Unfocused".Pierre Courtieu
2017-03-21[ide] Dynamic printing width.Emilio Jesus Gallego Arias
2017-03-21[ide] Use "log via feedback".Emilio Jesus Gallego Arias
2016-06-27Fix bug #4698: CoqIDE error dialogs piling up when coqtop dies.Pierre-Marie Pédrot
2016-02-19CoqIDE: STOP button also stops workers (fix #4542)Enrico Tassi
2016-01-20Update copyright headers.Maxime Dénès
2015-10-13Fix some typos.Guillaume Melquiond
2015-01-12Update headers.Maxime Dénès
2014-07-10CoqIDE: on win32 the old interrputer code (SIGINT) is still neededEnrico Tassi
2014-06-25all coqide specific files moved into ide/Enrico Tassi
2014-03-12Stm: smarter delegation policyEnrico Tassi
2014-01-30STM + CoqIDE: stop_worker message and UIEnrico Tassi
2014-01-26CoqIDE: ported to spawnEnrico Tassi
2013-12-11Fix CoqIDE compilation under standard version of lablgtk2Enrico Tassi
2013-09-30CoqIDE ported to the revides protocolgareuselesinge
2013-08-08Coqide ported to STMgareuselesinge
2013-07-27Added a way to change dynamically coqtop arguments in CoqIDE.ppedrot
2013-04-25Coqide: new feedback mechanism for structured contentgareuselesinge
2013-01-26updating ide/coq documentationppedrot
2013-01-26Monadification of coqtop queries in CoqIDEppedrot
2013-01-26Uniformization of Coq tasksppedrot
2012-12-19Coqide: cleaner Coq.PrintOpt and session creationletouzey
2012-12-08Coqide: get rid of threads, use gtk asynchronous i/o insteadletouzey
2012-09-09When asked for a SearchAbout request, Coq now returns a more preciseppedrot
2012-08-23No more states/initial.coq, instead coqtop now requires Prelude.voletouzey
2012-08-08Updating headers.herbelin
2012-06-29Now CoqIDE separates answer and messages. This should hopefullyppedrot
2012-06-26Now CoqIDE auto-sets the printing width of the goal display.ppedrot
2012-06-23Fixing a potential bug of coqtop management in CoqIDE due to appedrot
2012-05-15Coqide: display initial connection errors in popups instead of on stderrletouzey
2012-05-13Added semantic completion in CoqIDE. (Should also add an option for that...)ppedrot
2012-05-13Heavily rewritten the coqtop management process of coqide. The coqtopppedrot
2012-04-17Coqide: the coqtop to launch is a preference.pboutill
2011-12-18CoqIde files position is freedesktop compliant.pboutill
2011-12-15Cleaned up a bit goal handling in Coqtop interface. Now we have two queries :...ppedrot
2011-11-30Now CoqIDE relies on the option query mechanism to set printing options. Stil...ppedrot
2011-11-25Separated the toplevel interface into a purely declarative module with associ...ppedrot
2011-11-18Return of the tactic hints features in CoqIDE.ppedrot
2011-11-18Making status info better in CoqIDE: path and name of current lemmappedrot
2011-09-05Coqide: new backtracking code, based on the Backtrack commandletouzey
2011-09-05Ide_intf: slight reorganisation of the IDE apiletouzey
2011-04-28Coqide: try to properly send interrupts to coqtop on Win32letouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:21:06 +0000