Revenue (Disaggregation of Revenue) (Details) - USD ($) $ in Thousands	3 Months Ended		9 Months Ended
	Apr. 30, 2020	Apr. 30, 2019	Apr. 30, 2020	Apr. 30, 2019
Disaggregation of Revenue [Line Items]
Total revenue	$ 168,165	$ 162,867	$ 498,633	$ 511,656
United States
Disaggregation of Revenue [Line Items]
Total revenue	107,192	105,519	312,036	314,829
Canada
Disaggregation of Revenue [Line Items]
Total revenue	16,560	10,906	45,560	38,726
Other Americas
Disaggregation of Revenue [Line Items]
Total revenue	2,765	4,555	12,018	11,210
Total Americas
Disaggregation of Revenue [Line Items]
Total revenue	126,517	120,980	369,614	364,765
United Kingdom
Disaggregation of Revenue [Line Items]
Total revenue	7,221	5,236	29,583	28,933
Other EMEA
Disaggregation of Revenue [Line Items]
Total revenue	22,179	16,739	48,066	62,197
Total EMEA
Disaggregation of Revenue [Line Items]
Total revenue	29,400	21,975	77,649	91,130
Total APAC
Disaggregation of Revenue [Line Items]
Total revenue	12,248	19,912	51,370	55,761
License and subscription
Disaggregation of Revenue [Line Items]
Total revenue	93,182	76,218	280,559	257,611
License and subscription | United States
Disaggregation of Revenue [Line Items]
Total revenue	54,329	48,439	159,550	146,336
License and subscription | Canada
Disaggregation of Revenue [Line Items]
Total revenue	13,343	6,436	36,171	24,605
License and subscription | Other Americas
Disaggregation of Revenue [Line Items]
Total revenue	388	1,688	2,802	2,660
License and subscription | Total Americas
Disaggregation of Revenue [Line Items]
Total revenue	68,060	56,563	198,523	173,601
License and subscription | United Kingdom
Disaggregation of Revenue [Line Items]
Total revenue	5,332	990	21,709	16,624
License and subscription | Other EMEA
Disaggregation of Revenue [Line Items]
Total revenue	11,837	4,260	24,400	28,806
License and subscription | Total EMEA
Disaggregation of Revenue [Line Items]
Total revenue	17,169	5,250	46,109	45,430
License and subscription | Total APAC
Disaggregation of Revenue [Line Items]
Total revenue	7,953	14,405	35,927	38,580
Term license
Disaggregation of Revenue [Line Items]
Total revenue	62,656	60,252	191,104	211,205
Subscription
Disaggregation of Revenue [Line Items]
Total revenue	30,078	14,691	86,916	44,779
Perpetual license
Disaggregation of Revenue [Line Items]
Total revenue	448	1,275	2,539	1,627
Maintenance
Disaggregation of Revenue [Line Items]
Total revenue	20,694	21,335	62,781	63,602
Maintenance | United States
Disaggregation of Revenue [Line Items]
Total revenue	13,476	13,648	41,037	40,060
Maintenance | Canada
Disaggregation of Revenue [Line Items]
Total revenue	1,735	2,167	5,190	6,587
Maintenance | Other Americas
Disaggregation of Revenue [Line Items]
Total revenue	1,107	1,112	3,325	3,293
Maintenance | Total Americas
Disaggregation of Revenue [Line Items]
Total revenue	16,318	16,927	49,552	49,940
Maintenance | United Kingdom
Disaggregation of Revenue [Line Items]
Total revenue	1,264	1,118	3,665	3,428
Maintenance | Other EMEA
Disaggregation of Revenue [Line Items]
Total revenue	1,626	1,722	5,004	5,334
Maintenance | Total EMEA
Disaggregation of Revenue [Line Items]
Total revenue	2,890	2,840	8,669	8,762
Maintenance | Total APAC
Disaggregation of Revenue [Line Items]
Total revenue	1,486	1,568	4,560	4,900
Services
Disaggregation of Revenue [Line Items]
Total revenue	54,289	65,314	155,293	190,443
Services | United States
Disaggregation of Revenue [Line Items]
Total revenue	39,387	43,432	111,449	128,433
Services | Canada
Disaggregation of Revenue [Line Items]
Total revenue	1,482	2,303	4,199	7,534
Services | Other Americas
Disaggregation of Revenue [Line Items]
Total revenue	1,270	1,755	5,891	5,257
Services | Total Americas
Disaggregation of Revenue [Line Items]
Total revenue	42,139	47,490	121,539	141,224
Services | United Kingdom
Disaggregation of Revenue [Line Items]
Total revenue	625	3,128	4,209	8,881
Services | Other EMEA
Disaggregation of Revenue [Line Items]
Total revenue	8,716	10,757	18,662	28,057
Services | Total EMEA
Disaggregation of Revenue [Line Items]
Total revenue	9,341	13,885	22,871	36,938
Services | Total APAC
Disaggregation of Revenue [Line Items]
Total revenue	$ 2,809	$ 3,939	$ 10,883	$ 12,281