Annual report pursuant to Section 13 and 15(d)

Royalty and other income (Details)

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