REVENUES (Tables)

6 Months Ended

Oct. 31, 2020

REVENUES

Schedule of other revenues

Other revenues consist of:

	Three Months Ended October 31,				Six Months Ended October 31,
	2020		2019		2020		2019
	(in thousands)				(in thousands)
Oil & gas royalties	$	25	$	—	$	36	$	—
Private infrastructure reimbursement covenants		245		140		378		231
Public improvement district reimbursements		69		26		244		26
Miscellaneous other revenue		37		187		87		231
	$	376	$	353	$	745	$	488