d-rwxrwxr-x M 53 stevesimon sys 0 Jul 15 2018 amsfonts d-rwxrwxr-x M 53 stevesimon sys 0 Jul 15 2018 amslatex d-rwxrwxr-x M 53 stevesimon sys 0 Jul 15 2018 amstex Go to parent directory