diff options
| author | Pierre-Marie Pédrot | 2017-08-18 12:47:53 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-08-18 13:40:36 +0200 |
| commit | 7adc34710bf17c4ec3601831275205c1eb613b84 (patch) | |
| tree | f239a7dc4c505e73823520517771076e43680128 /src/tac2stdlib.ml | |
| parent | 77e3f7be0533fad2c31eb302a51c74b829f99e8c (diff) | |
Trying to enhance the printing of tactic expressions.
Diffstat (limited to 'src/tac2stdlib.ml')
0 files changed, 0 insertions, 0 deletions