diff options
| author | Pierre Courtieu | 2019-06-06 11:33:33 +0200 |
|---|---|---|
| committer | GitHub | 2019-06-06 11:33:33 +0200 |
| commit | 89a6166a2ee61ff9cc84ccffe681a275c64c6856 (patch) | |
| tree | c9885900631fddc3fa1e2f78adfe9bfbce5b748b /generic/proof-script.el | |
| parent | 9ebfbb6abbd5480b434ceadebec824d7c8804e73 (diff) | |
| parent | 7f1821cee8801a0f248aef492b9c1541e85a4880 (diff) | |
Merge pull request #426 from jfehrle/tweak
Proof diffs revisions requested by @monnier
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions