Name Last modified Size Description Parent Directory - thaispec.ins 2021-03-01 18:13 905 thaispec.dtx 2021-03-01 18:13 23K thaispec.pdf 2021-03-01 18:00 86K README.md 2019-12-23 08:19 1.1K