Package org.qedeq.kernel.bo.service.unicode

UTF-8 export abilities of the kernel.

See:
Description

Interface Summary

ReferenceFinder	QEDEQ module reference finder.
UnicodeErrorCodes	Contains the error codes for conversion into unicode.

Class Summary

Latex2UnicodeParser	Transform LaTeX into Unicode format.
Latex2UnicodeSpecials	Special LaTeX into UTF-8 transformations.
ProofLineData	Contains printing data for a formal proof line.
Qedeq2UnicodeTextExecutor	Transfer a QEDEQ module into a UTF-8 text file.
Qedeq2UnicodeTextPlugin	Plugin to transfer a QEDEQ module into a UTF-8 text file.
Qedeq2UnicodeVisitor	Transfer a QEDEQ module into unicode text.
Qedeq2Utf8Executor	Transfer a QEDEQ module into a UTF-8 text file.
Qedeq2Utf8Plugin	Plugin to transfer a QEDEQ module into a UTF-8 text file.

Exception Summary

UnicodeException

Exception for QEDEQ into unicode conversion problems.

Package org.qedeq.kernel.bo.service.unicode Description

UTF-8 export abilities of the kernel. Conversion from QEDEQ module into UTF-8 is possible.