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