val T: Theory = ...
val renderingHandler: StringBuilder = new StringBuilder()
val presenter = new MMTSyntaxPresenter()
ctrl.extman.addExtension(presenter)
presenter(T)(renderingHandler)
// Do something with the output string in renderingHandler.get
Also stress the fact that any item it should present must be known to the controller. Otherwise, one gets a "no backend applicable" error. Adding a new theory created on-the-fly (e.g. with my ModuleCreator on the moduleutils branch) to the backend is as simple as
Simple example:
Example 2 (write to console):
Also stress the fact that any item it should present must be known to the controller. Otherwise, one gets a "no backend applicable" error. Adding a new theory created on-the-fly (e.g. with my ModuleCreator on the moduleutils branch) to the backend is as simple as