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