diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-11-03 10:26:27 +0100 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-11-03 10:26:31 +0100 |
| commit | 7d01d46ce0f9267446b474755762db1ccca5fd78 (patch) | |
| tree | b10cea070902b40e282d1e4f6acfafa742ebe70d /tactics | |
| parent | 6243a0b9c16562a90e0e14f60047e9b0f2a0f2e8 (diff) | |
STM: fix printing of goals when on a tty interface
Diffstat (limited to 'tactics')
0 files changed, 0 insertions, 0 deletions