Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

T

tlatools
- Activity
- Members
- Labels
- Releases

Snippets Groups Projects

fafcc249

Commit fafcc249 authored 7 years ago by Markus Alexander Kuppe

Downloads
- Patches
- Plain Diff

Revert "The Toolbox generates an MC.tla file upon TLC startup which extends the"

This reverts commit 5249fa51.

parent 11ab426b

No related branches found

No related tags found

No related merge requests found

Changes 4

Show whitespace changes

Inline Side-by-side

Showing

org.lamport.tla.toolbox.tool.tlc/src/org/lamport/tla/toolbox/tool/tlc/model/ModelWriter.java 0 additions, 2 deletions

...c/org/lamport/tla/toolbox/tool/tlc/model/ModelWriter.java
org.lamport.tla.toolbox/src/org/lamport/tla/toolbox/util/ResourceHelper.java 1 addition, 1 deletion

...lbox/src/org/lamport/tla/toolbox/util/ResourceHelper.java
tlatools/src/tlc2/module/BuiltInModuleHelper.java 0 additions, 2 deletions

tlatools/src/tlc2/module/BuiltInModuleHelper.java
tlatools/src/tlc2/module/MC.java 0 additions, 65 deletions

tlatools/src/tlc2/module/MC.java

with 1 addition and 70 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment