diff options
| author | Guillaume Melquiond | 2015-10-10 13:02:56 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2015-10-10 13:02:56 +0200 |
| commit | cd440dbd43a632cf8f445a80d034f36e4235c63e (patch) | |
| tree | 3ba209a60894e92fba9f8771cd186b7f410dc310 /kernel | |
| parent | db06a1ddee4c79ea8f6903596284df2f2700ddac (diff) | |
Fix a few latex errors in documentation of Proof Using (e.g. \tt*).
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions