Update on GTURTLEModeling
Showing
- modeling/modelsForTestingTTool/testdiplo.xml 191 additions, 188 deletionsmodeling/modelsForTestingTTool/testdiplo.xml
- src/avatartranslator/modelchecker/AvatarModelChecker.java 1 addition, 0 deletionssrc/avatartranslator/modelchecker/AvatarModelChecker.java
- src/ui/GTURTLEModeling.java 1538 additions, 1535 deletionssrc/ui/GTURTLEModeling.java
- src/ui/MainGUI.java 1 addition, 0 deletionssrc/ui/MainGUI.java
Loading
Please register or sign in to comment