-rwxr-xr-x 71 holtrace-20250617/holtrace2tex raw
#!/bin/sh
./holtrace-worker namedtheorems "$@" |
./holtrace2tex-worker