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
*
Fixes bug #2857.
aspiwack
2012-08-10
*
Updating headers.
herbelin
2012-08-08
*
Bug 2706: Coqide and layout that use special modifiers
pboutill
2012-07-25
*
Added abstration layer to goal display in CoqIDE, and cleaned parts
ppedrot
2012-07-16
*
Fixing goal display when still focussing but no more goals.
ppedrot
2012-07-16
*
Display the "unjustified" information returned by coqtop.
ppedrot
2012-07-13
*
Fixes r15610 (A new status Unsafe in Interface).
aspiwack
2012-07-13
*
A new status Unsafe in Interface. Meant for commands such as Admitted.
aspiwack
2012-07-12
*
Adapting the IDE interface with the focussed display.
ppedrot
2012-07-10
*
Various small display improvement
ppedrot
2012-06-29
*
Reversed message display order in CoqIDE
ppedrot
2012-06-29
*
Now CoqIDE separates answer and messages. This should hopefully
ppedrot
2012-06-29
*
Added the show_margin_right option to CoqIDE
ppedrot
2012-06-26
*
Fixing awkward copy & paste mechanism in CoqIDE.
ppedrot
2012-06-26
*
Now CoqIDE auto-sets the printing width of the goal display.
ppedrot
2012-06-26
*
Small code compaction and factoring in CoqIDE.
ppedrot
2012-06-25
*
Cosmetic changes
ppedrot
2012-06-24
*
Made the message view of CoqIDE abstract.
ppedrot
2012-06-24
*
Fixed cursor reset in CoqIDE backtrack.
ppedrot
2012-06-23
*
Factorized bactracking code in CoqIDE. This fixes bug #2821 btw.
ppedrot
2012-06-23
*
Fixing a potential bug of coqtop management in CoqIDE due to a
ppedrot
2012-06-23
*
Fixed #2821.
ppedrot
2012-06-21
*
Fixing accelerator dynamic modification in CoqIDE.
ppedrot
2012-06-21
*
Fix coqide vernac lexer
pboutill
2012-06-15
*
Fixing annoying autocompletion when deleting text.
ppedrot
2012-06-13
*
Fixing #2803.
ppedrot
2012-06-04
*
Fixed an error display bug in CoqIDE.
ppedrot
2012-05-29
*
Bugs revealed by playing with contribs
pboutill
2012-05-25
*
Fix r15259 to get rid of bug 2783
pboutill
2012-05-25
*
Fixed #2769.
ppedrot
2012-05-25
*
Rewritten the handling of coq sentence processing, hopefully being
ppedrot
2012-05-23
*
Fixed #2538 by adding an option to reset coqtop on tab switch, as suggested.
ppedrot
2012-05-23
*
Cleaned prerr_endline use.
ppedrot
2012-05-23
*
Revert copy/pasted function in to minilib thanks to clib.cma
pboutill
2012-05-23
*
Fixed #2782.
ppedrot
2012-05-23
*
Reducing CoqIDE start option queries.
ppedrot
2012-05-23
*
Minilib: Always add the Coq_config.dirs to xdg_dirs (again)
letouzey
2012-05-22
*
Fixed bug #2781... (We hope so.)
ppedrot
2012-05-16
*
Trying to fix bug #2780, by short-circuiting the Gtk signals. A bit hackish.
ppedrot
2012-05-16
*
Coqide: make some paths win32-compliant
letouzey
2012-05-16
*
Revert commit 15287 : the env variables are indeed access at launch-time
letouzey
2012-05-16
*
Coqide: minor formatting improvement of an error message
letouzey
2012-05-15
*
Coqide: in win32 command given to cmd.exe should be more quoted
letouzey
2012-05-15
*
Coqide: display initial connection errors in popups instead of on stderr
letouzey
2012-05-15
*
Added semantic completion in CoqIDE. (Should also add an option for that...)
ppedrot
2012-05-13
*
Tweaking options of CoqIDE.
ppedrot
2012-05-13
*
Some cosmetic changes w.r.t. the previous commit.
ppedrot
2012-05-13
*
Heavily rewritten the coqtop management process of coqide. The coqtop
ppedrot
2012-05-13
*
Coqide awful coqtop options parsing fixup
pboutill
2012-05-11
*
Little bit of code refactoring in CoqIDE
ppedrot
2012-05-09
[next]