diff options
| author | ppedrot | 2012-05-13 01:05:45 +0000 |
|---|---|---|
| committer | ppedrot | 2012-05-13 01:05:45 +0000 |
| commit | 8d91c8808f2655be188615f420d345a00e3a7bdc (patch) | |
| tree | ac65f228847630af4c72774adebb59e3f20a5395 /plugins/syntax | |
| parent | 8ca5c2456d8e2a614a48b6d739f133fbcf97f1d1 (diff) | |
Heavily rewritten the coqtop management process of coqide. The coqtop
object is now responsible for restarting itself, and handles unexpected
crashes. Fixes a lot of errors in file descriptor management, but may
introduce lurking deadlocks and nasty bugs waiting to be discovered.
Only (quickly) tested under Linux, any callbacks from Windows are welcome.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15314 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions