Template:Literatetwelf

From The Twelf Project
Jump to: navigation, search
This is Literate Twelf
Code: here
Status: {{{status}}}
Output: here.

This template should only be used by the Literate Twelf extension as a header for pages created by the Literate Twelf pre-processor