Branch `updated_enabled_cdot` on top of dune, ocaml-5 and lsp.

tlaplus / tlapm

The TLA Proof Manager

https://proofs.tlapl.us/

BSD 2-Clause "Simplified" License

65 stars 20 forks source link

Closed kape1395 closed 1 month ago

kape1395 commented 11 months ago

This is the updated_enabled_cdot branch merged on top of:

The merge conflicts are fixed, and all the tests are passing.

It is better to merge this after the above-mentioned PRs are merged.

kape1395 commented 1 month ago

This PR is not relevant anymore. #148 is more up to date.