Historie revizí

Autor SHA1 Zpráva Datum
  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