Annual report pursuant to Section 13 and 15(d)

Royalty and other income (Details)

v3.20.2
Royalty and other income (Details) - USD ($)
$ in Thousands
12 Months Ended
Jul. 31, 2020
Jul. 31, 2019
Jul. 31, 2018
Royalty and License Fees [Member] | Life Sciences [Member]      
Royalty and other income (Details) [Line Items]      
Royalty income $ 0 $ 0 $ 712