[project @ 2003-06-13 08:45:32 by simonmar]
authorsimonmar <unknown>
Fri, 13 Jun 2003 08:45:32 +0000 (08:45 +0000)
committersimonmar <unknown>
Fri, 13 Jun 2003 08:45:32 +0000 (08:45 +0000)
commit5d86a0c4dae6b6c04f03316ffe8a4c10ada38662
treeb898a8304fd62144f6dff1d4cc233b24499b9324
parent142e3ace54bb7aac1945b74589c8300246960435
[project @ 2003-06-13 08:45:32 by simonmar]
- 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.
ghc/docs/users_guide/glasgow_exts.sgml