aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/ideutils.ml
Commit message (Expand)AuthorAge
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Relying on computation done in Envars to discover the installation directories.Gravatar Hugo Herbelin2017-05-29
* Remove some unused values and typesGravatar Gaetan Gilbert2017-04-27
* Fix omitted labels in function callsGravatar Gaetan Gilbert2017-04-27
* [pp] [ide] Minor cleanups in pp code.Gravatar Emilio Jesus Gallego Arias2017-03-21
* [ide] richpp clenaupGravatar Emilio Jesus Gallego Arias2017-03-21
* [pp] Make feedback the only logging mechanism.Gravatar Emilio Jesus Gallego Arias2017-03-21
* [safe-string] ideGravatar Emilio Jesus Gallego Arias2017-03-14
* Fix bug #5051: Large outputs are garbled.Gravatar Pierre-Marie Pédrot2016-08-30
* Fix inefficiency in CoqIDE display of tagged text.Gravatar Pierre-Marie Pédrot2016-08-29
* Adding a flag in CoqIDE to configure UNIX/Windows line ending.Gravatar Pierre-Marie Pédrot2016-07-26
* [feedback] Remove unused tag on `Debug` level.Gravatar Emilio Jesus Gallego Arias2016-06-25
* Feedback cleanupGravatar Emilio Jesus Gallego Arias2016-05-31
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Remove some useless type declarations.Gravatar Guillaume Melquiond2016-01-02
* | Avoid warnings about loop indices.Gravatar Guillaume Melquiond2016-01-02
* | Rich printing of messages.Gravatar Pierre-Marie Pédrot2015-09-20
* | Adding rich printing primitives.Gravatar Pierre-Marie Pédrot2015-09-20
* | Pluging in tag preferences into buffer printing.Gravatar Pierre-Marie Pédrot2015-09-20
* | Replacing old-style preferences in CoqIDE.Gravatar Pierre-Marie Pédrot2015-08-26
* | Turning CoqIDE preferences into new style.Gravatar Pierre-Marie Pédrot2015-08-16
|/
* Use open_utf8_file_in for opening files in the IDE. (Fix bug #2874)Gravatar Guillaume Melquiond2015-07-28
* Use the directory of the current session for selecting files to open.Gravatar Guillaume Melquiond2015-04-03
* Fix some typos in comments.Gravatar Guillaume Melquiond2015-02-23
* CoqIDE now remembers the path of the last opened project.Gravatar Pierre-Marie Pédrot2015-02-15
* Hardcode how coqide have to look for coqtop in MacOS bundleGravatar Pierre Boutillier2015-02-13
* Fixing bug #3996.Gravatar Pierre-Marie Pédrot2015-02-04
* Update headers.Gravatar Maxime Dénès2015-01-12
* Remove dead codeGravatar Enrico Tassi2014-12-01
* Install index_urls.txt in a location where coqide might actually find it.Gravatar Guillaume Melquiond2014-10-24
* Ide: Drop argument added by MacOS during .app launchGravatar Pierre Boutillier2014-07-22
* Coqide use '(diraname MYSELF)/coqtop' as coqtop only if this file existsGravatar Pierre Boutillier2014-07-22
* all coqide specific files moved into ide/Gravatar Enrico Tassi2014-06-25
* CoqIDE: removing a timer may raise an exceptionGravatar Enrico Tassi2014-04-10
* Fix CoqIDE on windowsGravatar Enrico Tassi2013-12-10
* ideutils: support custom size for stock iconsGravatar gareuselesinge2013-10-22
* ideutils: stock_to_widget was ignoring the ~size argumentGravatar gareuselesinge2013-09-30
* Granting wish #1781:Gravatar ppedrot2013-07-30
* Ideutils: comment on missing Glib utf8 handling functionGravatar gareuselesinge2013-05-06
* lablgtk2 misses Glib.Utf8.pos_to_offset, workaround in ideutilsGravatar gareuselesinge2013-04-25
* Coqide: limit read buffer size to 4096 (pipe size in win32)Gravatar letouzey2013-01-23
* Coqide: avoid potentially blocking read on coqtop channelGravatar letouzey2013-01-22
* Coq_lex: direct accounting of utf8 extra bytes in offsetsGravatar letouzey2012-12-11
* Coqide: some more refactoring to lighten coqide.mlGravatar letouzey2012-12-10
* Coqide: get rid of threads, use gtk asynchronous i/o insteadGravatar letouzey2012-12-08
* Coqide: more cleanup (buffers)Gravatar letouzey2012-12-07
* Nicer code around Coq_lexGravatar letouzey2012-12-07
* Ideutils: simpler conversion from byte offset to utf8 char offsetGravatar letouzey2012-12-07
* Coqide: opening non-existing files won't create them immediately anymoreGravatar letouzey2012-12-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-17 04:16:48 +0000