Resolving bug on avatar panel design
Showing
- modeling/AVATAR/CoffeeMachine_Avatar.xml 4 additions, 4 deletionsmodeling/AVATAR/CoffeeMachine_Avatar.xml
- modeling/DIPLODOCUS/SmartCardProtocol.xml 31 additions, 31 deletionsmodeling/DIPLODOCUS/SmartCardProtocol.xml
- src/main/java/avatartranslator/AvatarError.java 98 additions, 0 deletionssrc/main/java/avatartranslator/AvatarError.java
- src/main/java/avatartranslator/AvatarPragmaReachability.java 1 addition, 2 deletionssrc/main/java/avatartranslator/AvatarPragmaReachability.java
- src/main/java/avatartranslator/AvatarRelation.java 8 additions, 0 deletionssrc/main/java/avatartranslator/AvatarRelation.java
- src/main/java/avatartranslator/AvatarSyntaxChecker.java 113 additions, 1 deletionsrc/main/java/avatartranslator/AvatarSyntaxChecker.java
- src/main/java/ui/GTURTLEModeling.java 281 additions, 32 deletionssrc/main/java/ui/GTURTLEModeling.java
- src/main/java/ui/avatarbd/AvatarBDBlock.java 1 addition, 1 deletionsrc/main/java/ui/avatarbd/AvatarBDBlock.java
Loading
Please register or sign in to comment