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