RE-type version history

  1. # 2020-09-13: first finished/published version