 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 |
 Jesper Cockx
|
aad6e92b71
[ re #2548 ] Add information on termination checking from the wiki
|
6 jaren geleden |
|
Andrés Sicard-Ramírez
|
a1ac236030
[ user documentation ] Fixed layout.
|
7 jaren geleden |
|
Andrés Sicard-Ramírez
|
111ca0c7b4
[ doc ] Documented some pragmas.
|
8 jaren geleden |
 Víctor López Juan
|
b507471bb7
[ doc ] Converted remaining into literate files
|
8 jaren geleden |
