Michael Gregson 9269d5823d tlaplus18: init at 1.8.0 ... This is a pre-release of version 1.8 of TLA+. It adds, among other things, a TLA+ REPL. Release Notes: https://github.com/tlaplus/tlaplus/releases/tag/v1.8.0		2023-06-30 16:09:41 -07:00
..
default.nix	add myself to the maintainers list	2023-05-10 01:30:45 -05:00
tlaplus18.nix	tlaplus18: init at 1.8.0	2023-06-30 16:09:41 -07:00
tlaps.nix
toolbox.nix