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