summary refs log tree commit diff
path: root/pkgs/applications/science/logic/tlaplus
ModeNameSize
-rw-r--r--default.nix1382log plain blame
-rw-r--r--tlaps.nix1312log plain blame
-rw-r--r--toolbox.nix2900log plain blame