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.3 $
- Author:
- Michael Meyling
Methods inherited from class java.lang.Object |
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
MakeHtmlModule
public MakeHtmlModule()
main
public static void main(String[] args)
- Create html modules.
- Parameters:
args
- addresses of modules and options
makeHtmlModule
public static final void makeHtmlModule(String address)
- Create a html module.
- Parameters:
address
- address of module