Added pan + zoom to diagram viewer; show_diagram() didn't return; added PyQt, PyOpenGL, NumPy as dependencies in the docs
set (targets
test-set-iterators
test-consistencylist
test-orderlist)
if (counters)
set (targets ${targets} test-counters)
endif (counters)
foreach (t ${targets})
add_executable (${t} ${t}.cpp)
target_link_libraries (${t} ${libraries})
endforeach (t ${targets})