../ grayhints.pdf 02-Nov-2018 12:55 90K grayhints_man.pdf 02-Nov-2018 12:59 391K grayhints_man.tex 02-Nov-2018 20:14 29K