aboutsummaryrefslogtreecommitdiff
path: root/ide/ideutils.ml
AgeCommit message (Expand)Author
2020-06-02Move CoqIDE to its own folderMaxime Dénès
2020-04-03Merge PR #11664: Encoding string list as a string with application to the par...Emilio Jesus Gallego Arias
2020-03-18Update headers in the whole code base.Théo Zimmermann
2020-03-15Adding a function to encode/decode string list into a single string.Hugo Herbelin
2020-02-16CoqIDE: allow opening multiple files at onceErika
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 17:49:05 +0000