-
Simon Marlow authored
- add the OPTIONS pragma to the section on pragmas, with a cross-ref to the place it is described. - tidy up the section on pragams: re-indent and sort the sections alphabetically.
5d86a0c4
- add the OPTIONS pragma to the section on pragmas, with a cross-ref to the place it is described. - tidy up the section on pragams: re-indent and sort the sections alphabetically.