diff options
| author | Guillaume Melquiond | 2015-07-31 17:01:17 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2015-07-31 17:01:17 +0200 |
| commit | ce4c3ddec6c91dc277c922aaac58395c92941710 (patch) | |
| tree | 9414d87506c0c075aed8caa53199c30bb47f2890 /kernel/cbytecodes.ml | |
| parent | 505eb0f0dae9b8a6ac810070d60916b67942b305 (diff) | |
Improve the table of content of the reference manual.
Also remove AsyncProofs.tex from the list of preprocessed files, as it is
doubtful it will ever contains Coq scripts.
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions