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
...
*
Ide: Drop argument added by MacOS during .app launch
Pierre Boutillier
2014-07-22
*
all coqide specific files moved into ide/
Enrico Tassi
2014-06-25
*
Support dropping files over the coqide window. (Partial fix for bug #2765)
Guillaume Melquiond
2014-06-19
*
CoqIDE: options for syntax highlighting
Enrico Tassi
2014-04-10
*
Allowing proof view to be detached in CoqIDE.
Pierre-Marie Pédrot
2014-04-07
*
Move error and job display to the lower right pane.
Guillaume Melquiond
2014-03-04
*
STM + CoqIDE: stop_worker message and UI
Enrico Tassi
2014-01-30
*
CoqIDE: command line for extra coqtop "flags"
Enrico Tassi
2014-01-26
*
CoqIDE: ported to spawn
Enrico Tassi
2014-01-26
*
CoqIDE: new feedback "incomplete" to signal partial Qed
Enrico Tassi
2013-12-24
*
Fix CoqIDE on windows
Enrico Tassi
2013-12-10
*
Wg_Find: regex + case insensitive find/replace support
gareuselesinge
2013-10-22
*
CoqIDE: display in the errors window also the slaves status
gareuselesinge
2013-10-22
*
CoqIDE: when jumping to an error also move the cursor
gareuselesinge
2013-10-03
*
CoqIDE: use #present to raise error window
gareuselesinge
2013-09-30
*
Backtrace.record_backtrace in CoqIDE too
gareuselesinge
2013-09-30
*
wg_Command: detachable, less "from the 80s", query pane
gareuselesinge
2013-09-30
*
fix error reporting window size calculation
gareuselesinge
2013-09-13
*
CoqIDE: new async error reporting window and slaves status
gareuselesinge
2013-09-13
*
CoqIDE: show number of proofs being checked in background
gareuselesinge
2013-09-12
*
More robust argument setter in CoqIDE. It does not crash anymore on bad
ppedrot
2013-09-04
*
Add a (very minimal) Proof General mode to CoqIDE
gareuselesinge
2013-08-08
*
Coqide ported to STM
gareuselesinge
2013-08-08
*
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
*
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
[prev]
[next]