mode links bytes last-changed name
dr-x 2 4096 Jul 19 2018 ./
dr-x 50 4096 Jul 19 2018 ../
-r-- 1 2859 Jul 19 2018 FontWarnings.js
-r-- 1 1468 Jul 19 2018 HTML-CSS.js
-r-- 1 2992 Jul 19 2018 HelpDialog.js
-r-- 1 2720 Jul 19 2018 MathML.js
-r-- 1 6399 Jul 19 2018 MathMenu.js
-r-- 1 6790 Jul 19 2018 TeX.js
-r-- 1 2315 Jul 19 2018 pt-br.js