diff options
| author | Gaëtan Gilbert | 2019-10-25 13:52:13 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-10-30 13:28:30 +0100 |
| commit | 9254731ec877abc7496a7715920c936bdf20a091 (patch) | |
| tree | b1554128f8b35ed7d58eeed851e03cb969ea304a /dev/bugzilla2github_stripped.csv | |
| parent | c09f318e200c57750fbefbce00e3f0c4d4ee2c97 (diff) | |
Move start_proof_com from lemmas to vernacentries
This lets us remove the closure passing for the program inference_hook
Diffstat (limited to 'dev/bugzilla2github_stripped.csv')
0 files changed, 0 insertions, 0 deletions