SMLFamily/The-Definition-of-Standard-ML — pull request #2 by danking (2014-10-23 15:18:05+00:00)
Title: Create a clickable table of contents

The title explains it. Each heading in the table of contents is now clickable.