Use @DA_LAST@ to determine @MAXPRIME@, now that it exists.
[u/mdw/catacomb] / papers /
drwxr-xr-x   ..
-rw-r--r-- 36 .cvsignore
-rw-r--r-- 10 crypto.sty
-rw-r--r-- 9565 rand.tex