diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-08-28 19:37:02 +0200 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-08-28 20:10:04 +0200 |
| commit | a7e45316109aa220bd7be9da0888dfbbf86e6aec (patch) | |
| tree | ba613dc8a8abe396d209e75fc49d7897bee3349b /site/cleopatra/coq.org | |
| parent | Add a page to display my keystrokes reporting (diff) | |
Heavy reworking of the Ltac series
Diffstat (limited to 'site/cleopatra/coq.org')
0 files changed, 0 insertions, 0 deletions