diff options
| author | Enrico Tassi | 2015-03-15 18:32:22 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2015-03-15 18:48:48 +0100 |
| commit | e46afc2f884d3527c5a9826012b4ec7a58a43661 (patch) | |
| tree | 89b74adcff744f9eecae35855227b45a45b2a7d3 /dev/include | |
| parent | 1710356cdac3e968d678b75abb52d78a58b63e07 (diff) | |
STM: -quick: async no Proof using but no Section (#4124)
As happens in interactive mode.
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions