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 /ide/wg_Command.mli | |
| 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 'ide/wg_Command.mli')
| -rw-r--r-- | ide/wg_Command.mli | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/ide/wg_Command.mli b/ide/wg_Command.mli index c1af683230..5f337e776f 100644 --- a/ide/wg_Command.mli +++ b/ide/wg_Command.mli @@ -6,8 +6,7 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -class command_window : - Coq.coqtop ref -> +class command_window : Coq.coqtop -> object method new_command : ?command:string -> ?term:string -> unit -> unit method frame : GBin.frame |