MakeHtmlModule (PMII - Principia Mathematica II)
Keywords: com.meyling.principia.MakeHtmlModule class

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 MakeHtmlModule

    java.lang.Object
      com.meyling.principia.MakeHtmlModule

public class MakeHtmlModule
extends Object

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

Version:
  $Revision: 1.12 $
Author:
  Michael Meyling

Constructor Summary
`MakeHtmlModule()`

Method Summary
`static void` | `doIt(String[] args)` Create html modules.
`static void` | `main(String[] args)` Create html modules.
`static void` | `makeHtmlModule(String moduleAddress)` Create a html module.

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

Constructor Detail

### MakeHtmlModule

    public MakeHtmlModule()

Method Detail

### main

    public static void main(String[] args)

  Create html modules.

  Parameters:
    `args` - addresses of modules and options

### doIt

    public static void doIt(String[] args)

  Create html modules.

  Parameters:
    `args` - addresses of modules and options

### makeHtmlModule

    public static final void makeHtmlModule(String moduleAddress)

  Create a html module.

  Parameters:
    `moduleAddress` - 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.