Uses of Class
com.meyling.principia.logic.paragraph.ProofLine

Packages that use ProofLine

com.meyling.principia.html
com.meyling.principia.module

Uses of ProofLine in com.meyling.principia.html

Methods in com.meyling.principia.html with parameters of type ProofLine

void	Module2Html.writeProofLine(ProofLine line, Output output, String label) Convert a ProofLine into html.

Uses of ProofLine in com.meyling.principia.module

Methods in com.meyling.principia.module with parameters of type ProofLine

static void

ModuleWriter.writeProofLine(ProofLine line, Output output) Write a ProofLine into an output.