C M N

C

convert(File, String, String, File, String, boolean, File) - Static method in class net.sourceforge.zwordtools.spiveytostd.ConvertSpiveyToStd

the main entry point for converting tex when this is not being used as a stand-alone program.

ConvertSpiveyToStd - Class in net.sourceforge.zwordtools.spiveytostd

Main class for converting a Spivey Z specification to the Z Standard.

ConvertSpiveyToStd() - Constructor for class net.sourceforge.zwordtools.spiveytostd.ConvertSpiveyToStd

M

main(String[]) - Static method in class net.sourceforge.zwordtools.spiveytostd.ConvertSpiveyToStd

Entry point for stand alone program

N

net.sourceforge.zwordtools.spiveytostd - package net.sourceforge.zwordtools.spiveytostd

C M N