-
Notifications
You must be signed in to change notification settings - Fork 6
Open
Labels
Description
As the previous index had hard-coded entries and page numbers that did not correspond to the new layout from the LaTeX sources, it has been removed.
We would like to re-create the index through the makeidx
package, which has documentation at: https://en.wikibooks.org/wiki/LaTeX/Indexing
This work is basically to go through the printed copy of the Definition of Standard ML (Revised), annotate the LaTeX with \index{key}
annotations, and enable index generation.