 Jesper Cockx
|
fa09a8fe74
[ re #4908 ] add explicit --sized-types flag to test suite
|
3 jaren geleden |
|
Jesper Cockx
|
bfff1de33b
[ fix #3961 ] Add documentation for coverage checking
|
3 jaren geleden |
 G. Allais
|
96860c1612
[ fix build ] --rewriting is now infective (#5182)
|
3 jaren geleden |
 Andrés Sicard-Ramírez
|
77c9e4d070
[ doc ] Improved documentation of the `OPTIONS` pragma.
|
5 jaren geleden |
|
Andrés Sicard-Ramírez
|
3aa306a1c1
[ closed #4293 ] Changed role of the command-line options.
|
5 jaren geleden |
 Nikita Karetnikov
|
658eb33f61
Make the code match the example
|
6 jaren geleden |
|
Nikita Karetnikov
|
fc6a2bbb5e
Use proper indexes
|
6 jaren geleden |
 Andreas Abel
|
a31b512ceb
Re #2612 fixed typos.
|
7 jaren geleden |
|
Andrés Sicard-Ramírez
|
e8a337c76f
[ fixed #2612 ] Updated `--exact-split` documentation.
|
7 jaren geleden |
 Fredrik Nordvall Forsberg
|
fdb679f347
[ fixes #2596 ] documentation for command-line options + changelog entry for --warning
|
7 jaren geleden |
|
Andreas Abel
|
8bf8f54a0d
refactor user-manual: moved \bot to built-ins
|
8 jaren geleden |
|
Andreas Abel
|
91aec18029
[ doc ] Proof-read Function Definitions.
|
8 jaren geleden |
 Víctor López Juan
|
b43e3ae21a
Make documentation into literate Agda (I)
|
8 jaren geleden |
