GraphDrawer/NodeShuffler @ 3f464268f4efe199756f01e6b1f6b0582e6911bd

Eren Yilmaz 707b166162 update screenshots		vor 6 Jahren
..
animation_and_bk.pdf	cdcb07ed1a update class diagrams	vor 6 Jahren
bk-example-ours.png	13cf78e014 update bk example	vor 6 Jahren
bk-example-theirs.png	2f2a23ed3a add some ui images	vor 6 Jahren
buttons.png	67bc1c1660 update sketch to include pseudocode and additional buttons	vor 6 Jahren
components.pdf	5b8ce9629a include component diagram	vor 6 Jahren
debug-table.png	3226071455 improve ui section	vor 6 Jahren
error_connected.png	72bb84c8f8 further simplify connected error graph	vor 6 Jahren
error_disconnected.png	494c1bd587 write more about those assumptions	vor 6 Jahren
example.png	707b166162 update screenshots	vor 6 Jahren
full-application-example.png	707b166162 update screenshots	vor 6 Jahren
graph.pdf	cdcb07ed1a update class diagrams	vor 6 Jahren
io.pdf	cdcb07ed1a update class diagrams	vor 6 Jahren
json.png	d4186c325f include example JSON	vor 6 Jahren
logo.png	6ee3c2cc09 update logo	vor 6 Jahren
preferences.png	d86c1f2772 add preferences key to ui chapter	vor 6 Jahren
random-graph-dialog.png	5246288bd1 add random graph dialog to documentation	vor 6 Jahren
skizze.png	67bc1c1660 update sketch to include pseudocode and additional buttons	vor 6 Jahren
view.pdf	0c78735105 move PseudoCodeNode back	vor 6 Jahren