diff options
| author | Emilio Jesus Gallego Arias | 2018-11-15 04:44:31 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-11-19 21:29:45 +0100 |
| commit | 8f4e29aa2f9e86c54f2f14e93809091749706722 (patch) | |
| tree | 244cde0f55ec37954f4bbf98056aa613b3f3ec00 /dev | |
| parent | 22c0b10f139d9a30fcbe4a5a489022e2b94130e9 (diff) | |
[pfedit] Remove `start_proof` stub from `Pfedit`
This way we only have 2 `start_proof` entries, in `Lemmas` and
`Proof_global`; which they should be unified / brought closer in the
future.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions