Business Segments and International Operations (Revenue from External Customers by Product) (Details) - USD ($) $ in Thousands	3 Months Ended		9 Months Ended
	Aug. 31, 2018	Aug. 31, 2017	Aug. 31, 2018	Aug. 31, 2017
Segment Reporting Information [Line Items]
Total revenue	$ 95,683	$ 97,310	$ 285,832	$ 281,493
Software licenses
Segment Reporting Information [Line Items]
Total revenue	27,204	28,529	78,986	78,443
Maintenance
Segment Reporting Information [Line Items]
Total revenue	60,566	60,536	184,368	179,572
Services
Segment Reporting Information [Line Items]
Total revenue	$ 7,913	$ 8,245	$ 22,478	$ 23,478