diff options
| author | Jason Gross | 2017-06-13 15:42:23 -0400 |
|---|---|---|
| committer | Jason Gross | 2017-06-15 12:20:20 -0400 |
| commit | 8ba5d01a92d5f8fe87c025002fb0bcca8ecef8bc (patch) | |
| tree | 7c523c714d7e558858e64543fab05389a87066e0 /dev/ci/ci-basic-overlay.sh | |
| parent | d1d068bcc7ed43d375b1f69a3cc796fb12333519 (diff) | |
API: Hints.run_hint,Pfedit.current_proof_statement
Add them for fiat-parsers
Diffstat (limited to 'dev/ci/ci-basic-overlay.sh')
0 files changed, 0 insertions, 0 deletions