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 /dev/Makefile.oug | |
parent | 1710356cdac3e968d678b75abb52d78a58b63e07 (diff) |
STM: -quick: async no Proof using but no Section (#4124)
As happens in interactive mode.
Diffstat (limited to 'dev/Makefile.oug')
0 files changed, 0 insertions, 0 deletions