Exec History

Exec history as well as we know it. An alternative version is maintained by James Ross (Silver (JGR)#6054) at https://james-ross.co.uk/temp/compsoc_exec.