source:
trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html
@
996
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
commands | 950 | 12 years | pharms | * initial version of the HTML plugin, still some things open | |
guimodel | 994 | 12 years | pharms | * changed the string identifier, so that the terminal elements in the GUI … | |
HTMLLogParser.java | 13.9 KB | 996 | 12 years | pharms | * added support for storing timestamps with events |
HTMLPlugin.java | 1.6 KB | 950 | 12 years | pharms | * initial version of the HTML plugin, still some things open |
Note: See TracBrowser
for help on using the repository browser.