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