diff options
| author | Pierre Courtieu | 2015-12-31 15:23:35 +0100 |
|---|---|---|
| committer | Pierre Courtieu | 2015-12-31 15:23:35 +0100 |
| commit | 40a248f2007e7239ce01824a18f48fb0ab7d6d22 (patch) | |
| tree | 67db985d80dc3f3c3a774085098ff8c7e41097a9 /generic/proof-script.el | |
| parent | bfdb02859bcef664b5916849f88e1ab854696f64 (diff) | |
comment and readme.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions