It was Intrinsic descriptions - #25 by RonShepard and there are a few others like RANDOM_INIT seems to be missing and some changes to RANDOM_SEED and CPU_TIME seem out of sync with what I thought was the last push; and this might just be a bug in my browser, but I cannot get to end of list of names unless I change my browser scale from 100% to 90%; but nice to see otherwise. Odd, but all the others I have looked at look OK.
1 Like