Commit 7685173e11cf0a192ff7442a56e3b616676cfbfa - Maxixe

Merge branch 'support-python-3' into develop-0.2 Chris Pressey 3 years ago

1 changed file(s) with 1 addition(s) and 2 deletion(s). Raw diff Collapse all Expand all

-2

doc/appliances.md less more

0	0	-> Functionality "Check Maxixe proof" is implemented by
1		-> shell command "bin/maxixe %(test-body-file)"
	1	-> shell command "python2 bin/maxixe %(test-body-file)"
2	2
3	3	-> Functionality "Check Maxixe proof" is implemented by
4	4	-> shell command "python3 bin/maxixe %(test-body-file)"
5