aboutsummaryrefslogtreecommitdiff
path: root/ide/ideutils.ml
AgeCommit message (Expand)Author
2019-11-21[coq] Untabify the whole ML codebase.Emilio Jesus Gallego Arias
2019-09-10CoqIDE: Letting flash notices being treated sequentially.Hugo Herbelin
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2019-03-19CoqIDE: Ensuring that load/save windows are not hidden by their parent.Hugo Herbelin
2019-03-19CoqIDE: Moving last use of gtk2-only FileSelection to FileChooserDialog.Hugo Herbelin
2019-03-19CoqIDE: Ensuring that gtk is initialized before other inits done in ideutils.ml.Hugo Herbelin
2019-02-27[ide] only use Coq_config for the URL of the manualEnrico Tassi
2018-12-09[doc] Enable Warning 50 [incorrect doc comment] and fix comments.Emilio Jesus Gallego Arias
2018-09-06Merge PR #8394: Print the entire string to the CoqIDE screen, e.g. for "Print...Pierre-Marie Pédrot
2018-09-05[bin] Fix binary location procedure to work with symlinks.Emilio Jesus Gallego Arias
2018-09-03Fix for issue #8378. If the string matches the regex, output theJim Fehrle
2018-07-23Displays the differences between successive proof steps in coqtop and CoqIDE.Jim Fehrle
2018-05-21[stm] Make toplevels standalone executables.Emilio Jesus Gallego Arias
2018-03-08coqide: queries from the query window are routed there (fix #5684)Enrico Tassi
2018-02-27Update headers following #6543.Théo Zimmermann
2018-01-19update location on tab switch, issue 6624Paul Steckler
2017-11-13[ci] [coq] Complete 4.06.0 support.Emilio Jesus Gallego Arias
2017-07-27deprecate Pp.std_ppcmds type aliasMatej Košík
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-05-29Relying on computation done in Envars to discover the installation directories.Hugo Herbelin
2017-04-27Remove some unused values and typesGaetan Gilbert
2017-04-27Fix omitted labels in function callsGaetan Gilbert
2017-03-21[pp] [ide] Minor cleanups in pp code.Emilio Jesus Gallego Arias
2017-03-21[ide] richpp clenaupEmilio Jesus Gallego Arias
2017-03-21[pp] Make feedback the only logging mechanism.Emilio Jesus Gallego Arias
2017-03-14[safe-string] ideEmilio Jesus Gallego Arias
2016-08-30Fix bug #5051: Large outputs are garbled.Pierre-Marie Pédrot
2016-08-29Fix inefficiency in CoqIDE display of tagged text.Pierre-Marie Pédrot
2016-07-26Adding a flag in CoqIDE to configure UNIX/Windows line ending.Pierre-Marie Pédrot
2016-06-25[feedback] Remove unused tag on `Debug` level.Emilio Jesus Gallego Arias
2016-05-31Feedback cleanupEmilio Jesus Gallego Arias
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2016-01-02Remove some useless type declarations.Guillaume Melquiond
2016-01-02Avoid warnings about loop indices.Guillaume Melquiond
2015-09-20Rich printing of messages.Pierre-Marie Pédrot
2015-09-20Adding rich printing primitives.Pierre-Marie Pédrot
2015-09-20Pluging in tag preferences into buffer printing.Pierre-Marie Pédrot
2015-08-26Replacing old-style preferences in CoqIDE.Pierre-Marie Pédrot
2015-08-16Turning CoqIDE preferences into new style.Pierre-Marie Pédrot
2015-07-28Use open_utf8_file_in for opening files in the IDE. (Fix bug #2874)Guillaume Melquiond
2015-04-03Use the directory of the current session for selecting files to open.Guillaume Melquiond
2015-02-23Fix some typos in comments.Guillaume Melquiond
2015-02-15CoqIDE now remembers the path of the last opened project.Pierre-Marie Pédrot
2015-02-13Hardcode how coqide have to look for coqtop in MacOS bundlePierre Boutillier
2015-02-04Fixing bug #3996.Pierre-Marie Pédrot
2015-01-12Update headers.Maxime Dénès
2014-12-01Remove dead codeEnrico Tassi
2014-10-24Install index_urls.txt in a location where coqide might actually find it.Guillaume Melquiond
2014-07-22Ide: Drop argument added by MacOS during .app launchPierre Boutillier
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:20:07 +0000