| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| LICENSE | 1553 | 28-Jul-2018 18:11 |
| Makefile | 1738 | 28-Jul-2018 18:11 |
| README.md | 996 | 28-Jul-2018 18:13 |
| nidanfloat-en.pdf | 70K | 28-Jul-2018 18:11 |
| nidanfloat.dtx | 51K | 28-Jul-2018 18:11 |
| nidanfloat.ins | 443 | 28-Jul-2018 18:11 |
| nidanfloat.pdf | 156K | 28-Jul-2018 18:11 |