aboutsummaryrefslogtreecommitdiff
path: root/ide/ideutils.ml
AgeCommit message (Expand)Author
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
2012-05-16Revert commit 15287 : the env variables are indeed access at launch-timeletouzey
2012-05-15Coqide: in win32 command given to cmd.exe should be more quotedletouzey
2012-05-08Fixed access to environment variables in CoqIDE. Up to now, thoseppedrot
2012-05-02Removed the useless use of a reference in preference handling.ppedrot
2012-04-17Coqide: the coqtop to launch is a preference.pboutill
2012-04-14Coqide input encoding preference is an algebraic type.pboutill
2012-04-13Browser documentation & CharSet under Windowspboutill
2011-12-18CoqIde files position is freedesktop compliant.pboutill
2011-11-18Coqide -debug only printed Coqtop information.pboutill
2011-09-01Coq_makefile : bug when a project file is not in the current directory.pboutill
2011-09-01safe_prerr_endline in Minilibpboutill
2011-09-01Add option -f to coqidepboutill
2011-09-01same_file in Minilibpboutill
2011-04-28Attempt to use more local doc in coqidepboutill
2011-04-21Coqide: try to avoid displaying error messages on coqide's consoleletouzey
2011-04-21Win32: if we make coqide console-free, then stderr/stdout/sdtin shouldn't be ...letouzey
2011-03-25Ide: more reorganisation and cleanupletouzey
2010-09-28Fix function applications without labels (OCaml warning 6)glondu
2010-09-13Fix unescaped end-of-lines (OCaml warning 29)glondu
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-05-31deporting Coq specific code from ide to toplevel.vgross
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 04:23:35 +0000