diff options
| author | Lasse Blaauwbroek | 2021-03-30 22:21:26 +0200 |
|---|---|---|
| committer | Lasse Blaauwbroek | 2021-03-31 14:20:08 +0200 |
| commit | f77d6a239ff70a8aaa10d256f545fc21b2c7ecc0 (patch) | |
| tree | f6804613c0c14fbac5275a99917f5fcba057a0d8 /pretyping/program.mli | |
| parent | a40631f9fbcd0ef8c1a716010be48e3f650e8955 (diff) | |
Fix printing of ssr do intros and seq tactics
Diffstat (limited to 'pretyping/program.mli')
0 files changed, 0 insertions, 0 deletions