package latex
- Alphabetic
- Public
- All
Type Members
- case class BeginModule(ns: DPath, name: LocalName) extends StexDeclaration with Product with Serializable
- case class ImportModule(thy: MPath) extends StexDeclaration with Product with Serializable
- class LatexInterpreter extends TextInterpreter
-
case class
MMTTeX(tex: File) extends Action with Product with Serializable
to be used in conjunction with mmttex.sty
to be used in conjunction with mmttex.sty
converts job.tex.mmt, which is generated by mmttex.sty when running latex, into job.tex.mmt.sty, which is included by mmttex.sty when running latex a second time
- tex
the tex file
- class MMTTeXActionParser extends ActionCompanion
-
class
MacroGeneratingPresenter extends Presenter
compiles MMT to LaTeX by producing * a sty-file for each theory * containing a macro definition for each constant
compiles MMT to LaTeX by producing * a sty-file for each theory * containing a macro definition for each constant
type and definiens are ignored, only notations are used
This is 'compiling' in the sense that MMT/X is turned into LaTeX/X. It is to be distinguished from visualizing presenters that turn MMT/X into LaTeX/MMT/X, e.g., by generating LaTeX that represent MMT source code. A preliminary such presenter exists in commented-out code.
-
class
MacroUsingPresenter extends ObjectPresenter
convert a term into a LaTeX expression (using lots of \ { and })
convert a term into a LaTeX expression (using lots of \ { and })
the LaTeX is relative to the macros generated by MacroGeneratingPresenter
- abstract class StexDeclaration extends AnyRef
- case class SymDef(parent: MPath, name: LocalName) extends StexDeclaration with Product with Serializable
Value Members
-
object
Common
helper functions for latex presenter
- object EndModule extends StexDeclaration with Product with Serializable
-
object
MMTTeX extends Serializable
helper functions