index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
ide
Commit message (
Expand
)
Author
Age
...
*
Gtk check_buttons do have a label
gareuselesinge
2013-08-08
*
Add a (very minimal) Proof General mode to CoqIDE
gareuselesinge
2013-08-08
*
stm: (initial) support for -coq-slaves
gareuselesinge
2013-08-08
*
Coqide ported to STM
gareuselesinge
2013-08-08
*
Fixing a warning in CoqIDE compilation.
ppedrot
2013-08-08
*
Granting wish #1781:
ppedrot
2013-07-30
*
Protecting every call to current_term in CoqIDE so that callback
ppedrot
2013-07-27
*
Added a way to change dynamically coqtop arguments in CoqIDE.
ppedrot
2013-07-27
*
New module Xml_printer (dual to Xml_parser)
gareuselesinge
2013-05-06
*
Coqide: view -> zoom in / out / fit
gareuselesinge
2013-05-06
*
Ideutils: comment on missing Glib utf8 handling function
gareuselesinge
2013-05-06
*
Fix: tooltip correctly handles the absence of info (empty string)
gareuselesinge
2013-04-25
*
Coqide: Globalization feedback (proof of concept)
gareuselesinge
2013-04-25
*
lablgtk2 misses Glib.Utf8.pos_to_offset, workaround in ideutils
gareuselesinge
2013-04-25
*
Coqide: new tag "tooltip" for the Script window
gareuselesinge
2013-04-25
*
raise UnsafeSuccess -> feedback AddedAxiom
gareuselesinge
2013-04-25
*
Coqide: new feedback mechanism for structured content
gareuselesinge
2013-04-25
*
interface.mli and serialize.ml reworked to avoid copy/paste of types
gareuselesinge
2013-04-19
*
Renaming SearchAbout into Search and Search into SearchHead.
herbelin
2013-04-17
*
Better encapsulation of MessageView
ppedrot
2013-03-20
*
Using ML signalling in CoqIDE
ppedrot
2013-03-19
*
Adding color for warnings in CoqIDE
ppedrot
2013-03-19
*
CoqIDE: Add TAB key to autocomplete
ppedrot
2013-02-25
*
Tentative heuristic fix to handle lexer failures from CoqIDE when
ppedrot
2013-02-22
*
Cosmetic changes to CoqIDE finder widget.
ppedrot
2013-02-22
*
Fixing an annoying bug in CoqIDE which causes the very first line
ppedrot
2013-02-20
*
Fixing #2763
ppedrot
2013-02-20
*
More handling of scrollbars in CoqIDE completion
ppedrot
2013-02-20
*
CoqIDE: Including autocompletion in word proposals
ppedrot
2013-02-20
*
Adding scrollbars to CoqIDE autocompletion
ppedrot
2013-02-20
*
New autocompletion mechanism in CoqIDE. Now provides many answers
ppedrot
2013-02-19
*
CoqIDE: Adding escape reaction to replace widget
ppedrot
2013-02-13
*
Fixing autocompletion lock in CoqIDE
ppedrot
2013-02-13
*
updating ide/coq documentation
ppedrot
2013-01-26
*
Monadification of coqtop queries in CoqIDE
ppedrot
2013-01-26
*
Uniformization of Coq tasks
ppedrot
2013-01-26
*
Better handling of escape find in CoqIDE
ppedrot
2013-01-25
*
Better Undo/Redo mechanism
ppedrot
2013-01-25
*
Trying to fix CoqIDE undo/redo mechanism
ppedrot
2013-01-25
*
Fixing autocompletion in CoqIDE
ppedrot
2013-01-25
*
Fixup last commit
ppedrot
2013-01-25
*
Hugo request: CoqIDE find on enter
ppedrot
2013-01-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_makefile: -extra & -phony-extra for user defined makefile rule
pboutill
2013-01-07
*
Coqide: cleaner Coq.PrintOpt and session creation
letouzey
2012-12-19
*
GtkData.set_default_modifiers and no access to <primary> in lablgtk -> unsuab...
pboutill
2012-12-19
*
Fixing CoqIDE compilation
ppedrot
2012-12-14
*
Moved Stringset and Stringmap to String namespace.
ppedrot
2012-12-14
*
Wg_ScriptView: avoid invalid iters during completion
letouzey
2012-12-11
[prev]
[next]