Hilbert II - JAVA-Packages - Principia Mathematica II

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

Packages that use ProofLine
com.meyling.principia.html   
com.meyling.principia.latex   
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.
 void Module2JHtml.writeProofLine(ProofLine line, Output output, String label)
          Convert a ProofLine into html.
 void Module2OldHtml.writeProofLine(ProofLine line, Output output, String label)
          Convert a ProofLine into html.
 

Uses of ProofLine in com.meyling.principia.latex
 

Methods in com.meyling.principia.latex with parameters of type ProofLine
 void Module2Latex.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.
 


Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.