aboutsummaryrefslogtreecommitdiff
path: root/ide/ideutils.ml
AgeCommit message (Expand)Author
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
2014-07-22Coqide use '(diraname MYSELF)/coqtop' as coqtop only if this file existsPierre Boutillier
2014-06-25all coqide specific files moved into ide/Enrico Tassi
2014-04-10CoqIDE: removing a timer may raise an exceptionEnrico Tassi
2013-12-10Fix CoqIDE on windowsEnrico Tassi
2013-10-22ideutils: support custom size for stock iconsgareuselesinge
2013-09-30ideutils: stock_to_widget was ignoring the ~size argumentgareuselesinge
2013-07-30Granting wish #1781:ppedrot
2013-05-06Ideutils: comment on missing Glib utf8 handling functiongareuselesinge
2013-04-25lablgtk2 misses Glib.Utf8.pos_to_offset, workaround in ideutilsgareuselesinge
2013-01-23Coqide: limit read buffer size to 4096 (pipe size in win32)letouzey
2013-01-22Coqide: avoid potentially blocking read on coqtop channelletouzey
2012-12-11Coq_lex: direct accounting of utf8 extra bytes in offsetsletouzey
2012-12-10Coqide: some more refactoring to lighten coqide.mlletouzey
2012-12-08Coqide: get rid of threads, use gtk asynchronous i/o insteadletouzey
2012-12-07Coqide: more cleanup (buffers)letouzey
2012-12-07Nicer code around Coq_lexletouzey
2012-12-07Ideutils: simpler conversion from byte offset to utf8 char offsetletouzey
2012-12-07Coqide: opening non-existing files won't create them immediately anymoreletouzey
2012-12-07Coqide: nicer creation of timersletouzey
2012-12-07Coqide: code cleanupletouzey
2012-09-12Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRSpboutill
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-05-23Cleaned prerr_endline use.ppedrot
2012-05-23Revert copy/pasted function in to minilib thanks to clib.cmapboutill
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 19:19:25 +0000