Generated with

gapt/gapt/gapt.prooftool/LatexLabel

LatexLabel

gapt.prooftool.LatexLabel

See theLatexLabel companion class

object LatexLabel

Attributes

Companion: class
Source: DrawSequent.scala
Graph
Supertypes: class Object

trait Matchable

class Any
Self type: LatexLabel.type

Members list

Value members

Concrete methods

Factory for LatexLabels.

Factory for LatexLabels.

Value parameters

latexText: The text the label will display.
main: The main window that the label will belong to.

Attributes

Source: DrawSequent.scala

In this article

Generated with