Hilbert II - JAVA-Packages - Principia Mathematica II

com.meyling.principia
Class MakeHtmlModule

java.lang.Object
  extended bycom.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

Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.