diff options
| author | Emilio Jesus Gallego Arias | 2019-10-26 01:13:24 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-03-12 20:36:36 -0400 |
| commit | d050094c578bdf5fc0611b808949fee28ae2a641 (patch) | |
| tree | 244beef83cac961f2d5a325116c471703ecd98ab /plugins/syntax/string_notation_plugin.mlpack | |
| parent | e8797829a459d27975af57f88e7d4110da4fa009 (diff) | |
[proof] Remove duplication in the proof save path.
We move towards more unification in the proof save path of interactive
and non-interactive proofs.
Diffstat (limited to 'plugins/syntax/string_notation_plugin.mlpack')
0 files changed, 0 insertions, 0 deletions