Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## com.meyling.principia
Class MakeLatexModule

    java.lang.Object
      com.meyling.principia.MakeLatexModule

public class MakeLatexModule
extends Object

This class creates LaTeX files from Principia Mathematica II qedeq modules.

Version:
  $Revision: 1.10 $
Author:
  Michael Meyling

Constructor Summary
`MakeLatexModule()`

Method Summary
`static void` | `doIt(String[] args)` Create LaTeX modules.
`static void` | `main(String[] args)` Create LaTeX modules.
`static void` | `makeLatexModule(String address)` Create a LaTeX module.

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

Constructor Detail

### MakeLatexModule

    public MakeLatexModule()

Method Detail

### main

    public static void main(String[] args)

  Create LaTeX modules.

  Parameters:
    `args` - addresses of modules and options

### doIt

    public static void doIt(String[] args)

  Create LaTeX modules.

  Parameters:
    `args` - addresses of modules and options.

### makeLatexModule

    public static final void makeLatexModule(String address)

  Create a LaTeX module.

  Parameters:
    `address` - address of module

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

©left GNU General Public Licence All Rights Reserved.