Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Browse Source
Search
Context Navigation
←
Previous Change
Next Change
→
Changeset
1722
for
trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/commands
Timestamp:
09/04/14 16:38:21 (
10 years
ago)
Author:
dmay
Message:
Implement new command, that generates Jacareto indices. Also, get rid of all previous index hacks.
File:
1 added
trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/commands/CMDparseJFCwithJacaretoIndices.java
(added)
Note:
See
TracChangeset
for help on using the changeset viewer.
Download in other formats:
Unified Diff
Zip Archive