File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
LICENSE | 1.5 KiB | 28 Jul 2018 18:11:10 +0000 |
Makefile | 1.7 KiB | 28 Jul 2018 18:11:10 +0000 |
README.md | 996 B | 28 Jul 2018 18:13:12 +0000 |
nidanfloat-en.pdf | 69.9 KiB | 28 Jul 2018 18:11:10 +0000 |
nidanfloat.dtx | 50.6 KiB | 28 Jul 2018 18:11:10 +0000 |
nidanfloat.ins | 443 B | 28 Jul 2018 18:11:10 +0000 |
nidanfloat.pdf | 155.6 KiB | 28 Jul 2018 18:11:10 +0000 |