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