diff options
| author | Arnaud Spiwack | 2014-08-05 16:25:04 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-08-05 16:56:52 +0200 |
| commit | 5f9b15657dacd258fbd9084424afd4aa96929f3f (patch) | |
| tree | c64620479d3a24e5e6c65fd40050ae4cf86ea6c4 /stm/asyncTaskQueue.ml | |
| parent | afa441019432f70245fed6adc5eb0318514e4357 (diff) | |
Documentation: a simple example for [numgoals].
Now that [idtac] can print a single message for several goals, printing the number of goals is readable.
Diffstat (limited to 'stm/asyncTaskQueue.ml')
0 files changed, 0 insertions, 0 deletions