5 Commits

Include renames

Author	SHA1	Message	Date
n1474335	e81c81351d	Added more infoLinks and updated newOperation script to include prompt for them.	2018-08-21 19:07:13 +01:00
d98762625	cc20ad9567	Add OperationError error type and use for errors to be printed to the output panel	2018-04-27 10:59:53 +01:00
n1474335	e99331f305	ESM: Tidied up Set operations	2018-04-11 17:29:02 +00:00
d98762625	adc4f78e99	Add other set operations	2018-04-09 11:13:23 +01:00
d98762625	852c95a994	add Set Difference operation	2018-04-09 10:23:05 +01:00