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