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