 Andrés Sicard-Ramírez
|
77c9e4d070
[ doc ] Improved documentation of the `OPTIONS` pragma.
|
vor 5 Jahren |
|
Andrés Sicard-Ramírez
|
3aa306a1c1
[ closed #4293 ] Changed role of the command-line options.
|
vor 5 Jahren |
 Jesper Cockx
|
aad6e92b71
[ re #2548 ] Add information on termination checking from the wiki
|
vor 6 Jahren |
|
Andrés Sicard-Ramírez
|
a1ac236030
[ user documentation ] Fixed layout.
|
vor 7 Jahren |
|
Andrés Sicard-Ramírez
|
111ca0c7b4
[ doc ] Documented some pragmas.
|
vor 7 Jahren |
 Víctor López Juan
|
b507471bb7
[ doc ] Converted remaining into literate files
|
vor 8 Jahren |
