index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
ide
/
ideutils.ml
Commit message (
Expand
)
Author
Age
*
Rich printing of messages.
Pierre-Marie Pédrot
2015-09-20
*
Adding rich printing primitives.
Pierre-Marie Pédrot
2015-09-20
*
Pluging in tag preferences into buffer printing.
Pierre-Marie Pédrot
2015-09-20
*
Replacing old-style preferences in CoqIDE.
Pierre-Marie Pédrot
2015-08-26
*
Turning CoqIDE preferences into new style.
Pierre-Marie Pédrot
2015-08-16
*
Use open_utf8_file_in for opening files in the IDE. (Fix bug #2874)
Guillaume Melquiond
2015-07-28
*
Use the directory of the current session for selecting files to open.
Guillaume Melquiond
2015-04-03
*
Fix some typos in comments.
Guillaume Melquiond
2015-02-23
*
CoqIDE now remembers the path of the last opened project.
Pierre-Marie Pédrot
2015-02-15
*
Hardcode how coqide have to look for coqtop in MacOS bundle
Pierre Boutillier
2015-02-13
*
Fixing bug #3996.
Pierre-Marie Pédrot
2015-02-04
*
Update headers.
Maxime Dénès
2015-01-12
*
Remove dead code
Enrico Tassi
2014-12-01
*
Install index_urls.txt in a location where coqide might actually find it.
Guillaume Melquiond
2014-10-24
*
Ide: Drop argument added by MacOS during .app launch
Pierre Boutillier
2014-07-22
*
Coqide use '(diraname MYSELF)/coqtop' as coqtop only if this file exists
Pierre Boutillier
2014-07-22
*
all coqide specific files moved into ide/
Enrico Tassi
2014-06-25
*
CoqIDE: removing a timer may raise an exception
Enrico Tassi
2014-04-10
*
Fix CoqIDE on windows
Enrico Tassi
2013-12-10
*
ideutils: support custom size for stock icons
gareuselesinge
2013-10-22
*
ideutils: stock_to_widget was ignoring the ~size argument
gareuselesinge
2013-09-30
*
Granting wish #1781:
ppedrot
2013-07-30
*
Ideutils: comment on missing Glib utf8 handling function
gareuselesinge
2013-05-06
*
lablgtk2 misses Glib.Utf8.pos_to_offset, workaround in ideutils
gareuselesinge
2013-04-25
*
Coqide: limit read buffer size to 4096 (pipe size in win32)
letouzey
2013-01-23
*
Coqide: avoid potentially blocking read on coqtop channel
letouzey
2013-01-22
*
Coq_lex: direct accounting of utf8 extra bytes in offsets
letouzey
2012-12-11
*
Coqide: some more refactoring to lighten coqide.ml
letouzey
2012-12-10
*
Coqide: get rid of threads, use gtk asynchronous i/o instead
letouzey
2012-12-08
*
Coqide: more cleanup (buffers)
letouzey
2012-12-07
*
Nicer code around Coq_lex
letouzey
2012-12-07
*
Ideutils: simpler conversion from byte offset to utf8 char offset
letouzey
2012-12-07
*
Coqide: opening non-existing files won't create them immediately anymore
letouzey
2012-12-07
*
Coqide: nicer creation of timers
letouzey
2012-12-07
*
Coqide: code cleanup
letouzey
2012-12-07
*
Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRS
pboutill
2012-09-12
*
Updating headers.
herbelin
2012-08-08
*
Now CoqIDE separates answer and messages. This should hopefully
ppedrot
2012-06-29
*
Now CoqIDE auto-sets the printing width of the goal display.
ppedrot
2012-06-26
*
Cleaned prerr_endline use.
ppedrot
2012-05-23
*
Revert copy/pasted function in to minilib thanks to clib.cma
pboutill
2012-05-23
*
Revert commit 15287 : the env variables are indeed access at launch-time
letouzey
2012-05-16
*
Coqide: in win32 command given to cmd.exe should be more quoted
letouzey
2012-05-15
*
Fixed access to environment variables in CoqIDE. Up to now, those
ppedrot
2012-05-08
*
Removed the useless use of a reference in preference handling.
ppedrot
2012-05-02
*
Coqide: the coqtop to launch is a preference.
pboutill
2012-04-17
*
Coqide input encoding preference is an algebraic type.
pboutill
2012-04-14
*
Browser documentation & CharSet under Windows
pboutill
2012-04-13
*
CoqIde files position is freedesktop compliant.
pboutill
2011-12-18
*
Coqide -debug only printed Coqtop information.
pboutill
2011-11-18
[next]