Shon Feder

See https://github.com/informalsystems/apalache/pull/1717/files#r868375855 Where I suggest: ```diff - [Bug874.tla:4:17-4:27]: Cannot apply ["a" ↦ 2] to the argument "b" in (["a" ↦ 2])["b"]. + [Bug874.tla:4:17-4:27]: Cannot access nonexistent field "b" in record...

I think this should probably be developed in a separate repo, as it will be a python package, and we have currently opted to follow a poly-repo approach with all...

So this issue will remain open, to track the dependency on the work on Chai, but the tracking for on the client library will proceed in https://github.com/informalsystems/apalache-chai/milestone/1

Looks like this could help? https://stackoverflow.com/questions/1403772/how-can-i-check-if-a-java-programs-input-output-streams-are-connected-to-a-term I still doubt whether the time stamps on stdout on every line are useful at all, or indeed, whether most of the output is...

At https://github.com/informalsystems/apalache/pull/1279#pullrequestreview-870601372 Igor suggested adjusting whether the timestamps are printed based on whether we're using a TTY.

Why not just make this configurable in the Scala logging? Why would we move it into a wrapper script?

I'll take this ticket! Seems we are more motivated to get it done now, and I think it should be fairly straightforward.

Oh, and I'm already assigned, lol :)

The idea here was that we'd build and deploy two different versions of the docs: one for the latest stable release, and one that follows our trunk, and is updated...

Igor suggested looking at jpackage: https://github.com/informalsystems/apalache/pull/1700#pullrequestreview-958831981