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