20190926.1: Use TLCEval to disable lazy evaluation of sub-expressions to handle long

Changes:

• 6dbdf73 Use TLCEval to disable lazy evaluation of sub-expressions to handle long

This list of changes was auto generated.

20190924.1

Changes:

• b91f073 Handle FcnLambda type in Java module override of Json operator.

This list of changes was auto generated.

20190905.2

Changes:

• 6d23855 Remove the 'MakeFrame' operator

This list of changes was auto generated.

20190904.7

Changes:

• ffe0dc1 Move SetToSeq operator from SVG to SequencesExt.

This list of changes was auto generated.

20190904.6

Changes:

• b759431 Fix TLC module override of Json module to handle TupleValues.
• 3a30da2 Push operator AssumeEq out of SVGTests into TLCExt module.
• 95f08a6 Run module tests from ant build script.
• 821544e Format build.xml.

This list of changes was auto generated.

20190904.3

Changes:

• 765f743 Declare lib/tla2tools.jar a dependency to be able to implement TLC module overrides when the tla2tools project from github.com/tlaplus/tlaplus is not present.

This list of changes was auto generated.

20190904.2: Merge pull request #1 from will62794/animation

Changes:

• c0cb313 Merge pull request #1 from will62794/animation
• 15276e9 Add a new SVG.tla module for producing animations of TLC error traces

This list of changes was auto generated.

20190828.1: Add initial support to format and export Toolbox error trace to

Changes:

• a9492aa Add initial support to format and export Toolbox error trace to
• 2dbf506 Add quick'n'dirty TLC module overwrite for Json!ToJsonObject to

This list of changes was auto generated.

20190726.1

Changes:

• dc906a4 How to include library archives with TLC and the Toolbox

This list of changes was auto generated.

20190710.2

Changes:

• d546aa4 Align Eclipse .classpath metadata to folder changes in previous commit

This list of changes was auto generated.