-
- Downloads
TLC help text - #393
. Adding a help text generator, and using it to provide the help text for TLC . Adding the '-h' flag in addition to the existing '-help' flag to have TLC print usage . Removing the previous way we displayed the help text through MP [Enhancement][Tools]
Showing
- tlatools/src/tlc2/TLC.java 113 additions, 3 deletionstlatools/src/tlc2/TLC.java
- tlatools/src/tlc2/model/MCState.java 2 additions, 4 deletionstlatools/src/tlc2/model/MCState.java
- tlatools/src/tlc2/output/EC.java 0 additions, 1 deletiontlatools/src/tlc2/output/EC.java
- tlatools/src/tlc2/output/MP.java 0 additions, 3 deletionstlatools/src/tlc2/output/MP.java
- tlatools/src/tlc2/output/messages.properties 4 additions, 52 deletionstlatools/src/tlc2/output/messages.properties
- tlatools/src/util/TLAConstants.java 6 additions, 0 deletionstlatools/src/util/TLAConstants.java
- tlatools/src/util/UsageGenerator.java 320 additions, 0 deletionstlatools/src/util/UsageGenerator.java
Loading
Please register or sign in to comment