|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |