Name | Last modified | Size | |
---|---|---|---|
Parent Directory | - | ||
nidanfloat.pdf | 2018-07-28 12:11 | 156K | |
nidanfloat-en.pdf | 2018-07-28 12:11 | 70K | |
nidanfloat.dtx | 2018-07-28 12:11 | 51K | |
Makefile | 2018-07-28 12:11 | 1.7K | |
LICENSE | 2018-07-28 12:11 | 1.5K | |
README.md | 2018-07-28 12:13 | 1.0K | |
nidanfloat.ins | 2018-07-28 12:11 | 443 | |