source: trunk/quest-plugin-jfc/src/main/resources/manuals @ 841

Name Size Rev Age Author Last Change
../
preprocessJFC 271 bytes 728   12 years sherbold * added manuals for the commands efgTestCasesToSequences, efgToDFA, …
preprocessDirJFC 409 bytes 728   12 years sherbold * added manuals for the commands efgTestCasesToSequences, efgToDFA, …
parseJFC 249 bytes 728   12 years sherbold * added manuals for the commands efgTestCasesToSequences, efgToDFA, …
parseDirJFC 319 bytes 728   12 years sherbold * added manuals for the commands efgTestCasesToSequences, efgToDFA, …
correctOldJFC 346 bytes 787   12 years pharms * added command for correcting JFC traces that do not contain correct …
correctDirOldJFC 481 bytes 787   12 years pharms * added command for correcting JFC traces that do not contain correct …
Note: See TracBrowser for help on using the repository browser.