source:
trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc
@
736
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| commands | 728 | 12 years | sherbold | * added manuals for the commands efgTestCasesToSequences, efgToDFA, … | |
| eventcore | 655 | 12 years | pharms | * removed old copyright file header | |
| guimodel | 736 | 12 years | sherbold | * changed JFCGUIElementSpec to store the elementHash as String instead of … | |
| JFCLogParser.java | 24.2 KB | 736 | 12 years | sherbold | * changed JFCGUIElementSpec to store the elementHash as String instead of … |
| JFCPlugin.java | 846 bytes | 655 | 12 years | pharms | * removed old copyright file header |
| JFCReplayIDCalculator.java | 6.1 KB | 675 | 12 years | fglaser | * added new JFCReplayIDCalculator, which was merged with new event … |
Note: See TracBrowser
for help on using the repository browser.
