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.3 $
- Author:
- Michael Meyling
Methods inherited from class java.lang.Object |
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
MakeLatexModule
public MakeLatexModule()
main
public static void main(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