Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 16-Dec-2020 23:56 -
![[ ]](/icons/unknown.gif){kind=icon}
babel.dtx 16-Dec-2020 22:21 667k
babel.ins 16-Dec-2020 22:21 7k
![[ ]](/icons/layout.gif){kind=icon}
babel.pdf 16-Dec-2020 22:21 800k
bbcompat.dtx 16-Dec-2020 22:21 21k
bbidxglo.dtx 16-Dec-2020 22:21 3k
![[ ]](/icons/compressed.gif){kind=icon}
locale.zip 16-Dec-2020 22:22 760k