Uses of Class
org.qedeq.kernel.se.dto.module.FormalProofLineListVo

Packages that use FormalProofLineListVo

org.qedeq.kernel.xml.handler.module

Handler to parse qedeq XML modules.

Uses of FormalProofLineListVo in org.qedeq.kernel.xml.handler.module

Methods in org.qedeq.kernel.xml.handler.module that return FormalProofLineListVo

FormalProofLineListVo

FormalProofLineListHandler.getFormalProofLineList() Get parsed result.