updated doc (removed isonum.txt)