-
- Downloads
fix typos and indents
Showing
- src/main/java/de/tla2b/analysis/RecursiveFunction.java 2 additions, 2 deletionssrc/main/java/de/tla2b/analysis/RecursiveFunction.java
- src/main/java/de/tla2b/analysis/SpecAnalyser.java 1 addition, 2 deletionssrc/main/java/de/tla2b/analysis/SpecAnalyser.java
- src/main/java/de/tla2b/config/ModuleOverrider.java 2 additions, 4 deletionssrc/main/java/de/tla2b/config/ModuleOverrider.java
- src/main/java/de/tla2b/config/TLCValueNode.java 1 addition, 3 deletionssrc/main/java/de/tla2b/config/TLCValueNode.java
- src/main/java/de/tla2b/types/PairType.java 1 addition, 1 deletionsrc/main/java/de/tla2b/types/PairType.java
- src/main/java/de/tla2bAst/ExpressionTranslator.java 1 addition, 2 deletionssrc/main/java/de/tla2bAst/ExpressionTranslator.java
Loading
Please register or sign in to comment