diff options
| author | Théo Zimmermann | 2018-08-17 18:26:39 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-08-17 18:26:49 +0200 |
| commit | 76d1e710bb6447d7ba439e91e7e00fee9a913304 (patch) | |
| tree | b3b7178cda056734533c88c9a54dcf7160294618 /kernel/nativecode.ml | |
| parent | 8b176e3b0e42b34db3165d9e1ce45fff0e581335 (diff) | |
Minor Sphinx improvements in the bullet documentation.
And fixing a problem with nested proofs.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions