-
- Downloads
minor fix
Showing
- tlatools/src/tlc2/output/OutputCollector.java 3 additions, 3 deletionstlatools/src/tlc2/output/OutputCollector.java
- tlatools/src/tlc2/tool/AbstractChecker.java 6 additions, 1 deletiontlatools/src/tlc2/tool/AbstractChecker.java
- tlatools/src/tlc2/tool/Spec.java 0 additions, 2 deletionstlatools/src/tlc2/tool/Spec.java
Loading
Please register or sign in to comment