diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-07-21 16:56:52 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-07-21 16:56:52 +0200 |
| commit | 405355a46292aff2ba2e034cbaee56ccf245b54d (patch) | |
| tree | e9931faa47c73e86d6bdb017f2962733a36e59d7 /proofs/goal.mli | |
| parent | c56110635536a63117127be8ad07aaff0dc26a0a (diff) | |
| parent | 57041aaac653a920839f9cd8b7982ce0e7ad6a8c (diff) | |
Merge PR #8072: Fixes for chapters 'Vernacular commands', 'Proof handling' and 'Tactics' of the Reference Manual.
Diffstat (limited to 'proofs/goal.mli')
0 files changed, 0 insertions, 0 deletions