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
...
*
wg_Command: detachable, less "from the 80s", query pane
gareuselesinge
2013-09-30
*
wg_Session: fix copy/paste of tagged text
gareuselesinge
2013-09-30
*
CoqIDE ported to the revides protocol
gareuselesinge
2013-09-30
*
When Coq is reset-initialed by CoqIDE, do reset jobs counters
gareuselesinge
2013-09-13
*
fix error reporting window size calculation
gareuselesinge
2013-09-13
*
CoqIDE: new async error reporting window and slaves status
gareuselesinge
2013-09-13
*
Do no compage wg_Notebook terms with (=)
gareuselesinge
2013-09-13
*
CoqIDE: show number of proofs being checked in background
gareuselesinge
2013-09-12
*
Moving Searchstack to CStack, and normalizing names a bit.
ppedrot
2013-09-06
*
More robust argument setter in CoqIDE. It does not crash anymore on bad
ppedrot
2013-09-04
*
CoqIDE: fixed detection of edits in the locked zone
gareuselesinge
2013-08-20
*
Modulification and removing of structural equality in Stateid.
ppedrot
2013-08-19
*
Tooltips can be augmented with custom widgets, still not clickable
gareuselesinge
2013-08-19
*
Setting tooltip font monospace.
ppedrot
2013-08-12
*
Automatic backtracking if locked zone is edited
gareuselesinge
2013-08-11
*
Adding the processed tag to comments in CoqIDE.
ppedrot
2013-08-09
*
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
[prev]
[next]