diff options
| author | Enrico Tassi | 2014-10-06 08:46:53 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2014-10-06 08:47:01 +0200 |
| commit | 6adbf7d9678257aa42ef0d3b30db2e484cd148ad (patch) | |
| tree | d4b30bbc451049a90cc6dd201f49c3ead984c317 /dev/include | |
| parent | 866d2b75a2d213443e8498b4585326a955ed1558 (diff) | |
decl_mode: stay in declarative mode
This solution is a bit dumb, but I guess does what one expects.
Each decl mode proof commands stays in proof mode.
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions