aboutsummaryrefslogtreecommitdiffhomepage
path: root/proofs
diff options
context:
space:
mode:
authorGravatar Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>2018-07-21 16:56:52 +0200
committerGravatar Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>2018-07-21 16:56:52 +0200
commit405355a46292aff2ba2e034cbaee56ccf245b54d (patch)
treee9931faa47c73e86d6bdb017f2962733a36e59d7 /proofs
parentc56110635536a63117127be8ad07aaff0dc26a0a (diff)
parent57041aaac653a920839f9cd8b7982ce0e7ad6a8c (diff)
Merge PR #8072: Fixes for chapters 'Vernacular commands', 'Proof handling' and 'Tactics' of the Reference Manual.
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions