index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
toplevel
/
ide_slave.ml
Commit message (
Expand
)
Author
Age
*
Coqide: new backtracking code, based on the Backtrack command
letouzey
2011-09-05
*
Ide_intf: slight reorganisation of the IDE api
letouzey
2011-09-05
*
Misc improvements concerning "Show Match" and its coqide equivalent
letouzey
2011-08-18
*
Ide_slave: same attributes for { } and Focus/Unfocus (fix coqide display)
letouzey
2011-07-28
*
This option disables the use of the '{| field := ... |}' notation
herbelin
2011-07-16
*
Coqide: allow the use of Abort (grant wish #2357)
letouzey
2011-05-18
*
A new mechanism to handle errors.
aspiwack
2011-05-13
*
Coqide: better handling of stdout/stderr in win32
letouzey
2011-04-21
*
Add 'Existing Instances' declaration to declare multiple instances at once.
letouzey
2011-04-06
*
Ide_intf: documentation of calls + debug printing of calls/answers
letouzey
2011-03-30
*
Ide_intf: remove useless int answer to the "interp" and "rewind" calls
letouzey
2011-03-30
*
Ide_slave: better handling of Ctrl-C
letouzey
2011-03-30
*
Ide_slave : fix last commit, use ad_hoc catch_break instead of Sys.catch_break
letouzey
2011-03-28
*
Ide_slave: improved handling of exceptions (in particular ^C)
letouzey
2011-03-28
*
Ide_slave: a more robust current_status () function
letouzey
2011-03-28
*
Ide_intf : change type of location in ide
letouzey
2011-03-25
*
Ide: stronger separation from coqtop
letouzey
2011-03-23