diff options
| author |  vgross <vgross@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-05-31 22:22:13 +0000 |
|---|---|---|
| committer | vgross <vgross@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-05-31 22:22:13 +0000 |
| commit | aadff10ea8da78a9acc76a3dc595e47cfa5b72cf (patch) | |
| tree | 7d8c76cee2e5def64e7f856c3620ee9ac35bc37b /lib/lib.mllib | |
| parent | 8e87953db0d1d0a96ed1517e38a25d08092ffad3 (diff) | |
CoqIDE goes multiprocess
This commit changes many things in CoqIDE, and several breakage are to
be expected. So far, evaluation in standard tactic mode and backtracking
seems to be working.
Future work :
- clean up the thread management crud remaining in ide/coqide.ml
- rework the exception handling
- rework the init system in Coqtop
plus many other things
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13043 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'lib/lib.mllib')
| -rw-r--r-- | lib/lib.mllib | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/lib.mllib b/lib/lib.mllib index 86d29c4be..b5db04d21 100644 --- a/lib/lib.mllib +++ b/lib/lib.mllib @@ -25,3 +25,4 @@ Heap Option Dnet Store +Safe_marshal |