diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2015-06-17 10:34:08 +0200 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2015-06-17 10:34:13 +0200 |
| commit | 03d1fa42c17896cb9d767b509e05bd0db78cb7d2 (patch) | |
| tree | 5bfa6e3900019623e597aae7d61ec075a38af6be /ide/project_file.ml4 | |
| parent | b831c43f592dff6cf307add90354c10f30bf5b58 (diff) | |
Doc: Workers do check for guardedness before sending proofs back
Diffstat (limited to 'ide/project_file.ml4')
0 files changed, 0 insertions, 0 deletions