ftp.ntua.gr:/mirror/ctan/macros/latex/contrib/bussproofs-extra/?C=N&O=A |
Name Last modified Size DescriptionApache/2.2 Server at ftp.ntua.gr Port 80
Parent Directory - LICENSE.txt 02-Jun-2019 10:55 19K README.md 02-Jun-2019 10:55 359 bpextra.sty 02-Jun-2019 10:55 193 bussproofs-extra.dtx 02-Jun-2019 10:55 22K bussproofs-extra.ins 02-Jun-2019 10:55 2.1K bussproofs-extra.pdf 02-Jun-2019 10:55 220K