|
Hilbert II - Version 0.03.04 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PropositionVo | |
org.qedeq.kernel.xml.handler.module | Handler to parse qedeq XML modules. |
Uses of PropositionVo in org.qedeq.kernel.xml.handler.module |
Methods in org.qedeq.kernel.xml.handler.module that return PropositionVo | |
PropositionVo |
PropositionHandler.getProposition()
Get proposition. |
|
Hilbert II - Version 0.03.04 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |