index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
ide
/
coqide.ml
Commit message (
Expand
)
Author
Age
*
Coqide: view -> zoom in / out / fit
gareuselesinge
2013-05-06
*
raise UnsafeSuccess -> feedback AddedAxiom
gareuselesinge
2013-04-25
*
Renaming SearchAbout into Search and Search into SearchHead.
herbelin
2013-04-17
*
Better encapsulation of MessageView
ppedrot
2013-03-20
*
CoqIDE: Including autocompletion in word proposals
ppedrot
2013-02-20
*
Monadification of coqtop queries in CoqIDE
ppedrot
2013-01-26
*
Better handling of escape find in CoqIDE
ppedrot
2013-01-25
*
Coqide: cleaner Coq.PrintOpt and session creation
letouzey
2012-12-19
*
Coqide: some more refactoring to lighten coqide.ml
letouzey
2012-12-10
*
Coqide: use labels for all labelled functions
letouzey
2012-12-08
*
Coqide: get rid of threads, use gtk asynchronous i/o instead
letouzey
2012-12-08
*
Coqide: more cleanup (buffers)
letouzey
2012-12-07
*
Coqide: stylistic improvements in analyzed_view initializer
letouzey
2012-12-07
*
Coqide: cleanup concerning insert_text signal
letouzey
2012-12-07
*
Nicer code around Coq_lex
letouzey
2012-12-07
*
Coqide: missing arg when calling process_next_phrase
letouzey
2012-12-07
*
Coqide: minor cleanup around tag_on_insert
letouzey
2012-12-07
*
Coqide: better removal of the error red tag
letouzey
2012-12-07
*
Coqide: better handling of gtk messages + fix win32 stdout/stderr rerouting
letouzey
2012-12-07
*
Coqide: no reason to ignore Ctrl-C
letouzey
2012-12-07
*
Coqide: use "prefs" ident instead of "current" (vague when unqualified)
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
*
More monomorphizations
ppedrot
2012-11-13
*
Coqide Detach View: avoid doing gtk stuff in sub-thread (fix #2863)
letouzey
2012-10-31
*
Text inserted by insert_this_phrase_on_success correct tagging
pboutill
2012-10-23
*
Moving Utils.list_* to a proper CList module, which includes stdlib
ppedrot
2012-09-14
*
Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRS
pboutill
2012-09-12
*
Added Print Assumptions command to CoqIDE
ppedrot
2012-09-10
*
When asked for a SearchAbout request, Coq now returns a more precise
ppedrot
2012-09-09
*
Added a comment/uncomment command to CoqIDE
ppedrot
2012-09-06
*
Nice output of SearchAbout command in CoqIDE
ppedrot
2012-09-06
*
Updating headers.
herbelin
2012-08-08
*
Added abstration layer to goal display in CoqIDE, and cleaned parts
ppedrot
2012-07-16
*
Display the "unjustified" information returned by coqtop.
ppedrot
2012-07-13
*
A new status Unsafe in Interface. Meant for commands such as Admitted.
aspiwack
2012-07-12
*
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
[next]