dominik.renkel c1544ab6fa made alert windows nicer 7 years ago
..
debug 160aabcb41 Edge propagation and Option saving 7 years ago
graphs 7333a227f1 Merged Jascha and Jan, Operator Multigraph now (afaik) bug free! 7 years ago
io 160aabcb41 Edge propagation and Option saving 7 years ago
main 160aabcb41 Edge propagation and Option saving 7 years ago
metrics 6758ae4289 now opens the last Graph at startup 7 years ago
ui c1544ab6fa made alert windows nicer 7 years ago