kframework/k — pull request #239 by Multiball (2014-02-03 21:34:51+00:00)
Title: Links to Modules in Documentation Backend

This version of the documentation backend adds links to all modules it contains at the beginning of the file, after the filename header. Because Kompile chokes if autoinclude() returns false from the backend, auto-include modules are always included; this is the next problem to fix.