Changes
Jump to navigation
Jump to search
→pretty printing
you can call the pretty printer directly (see files) and tune teh output for inline and display elements and such
--[[User:Hagen|Hans Hagen]]
== something to play with ==
