diff options
author | mark <> | 2012-02-23 11:00:45 +0000 |
---|---|---|
committer | mark <> | 2012-02-23 11:00:45 +0000 |
commit | 448583e76767da575c9d90f54266d434c86282ed (patch) | |
tree | f62d7cbd6b00c9d894929d37ff261efbd7b11916 /hol-light/TacticRecording/ex.dot | |
parent | 6ecd3be998c4d2a6d8dae8ec2f67c50305a251ef (diff) |
Capability for exporting .dot files added.
Diffstat (limited to 'hol-light/TacticRecording/ex.dot')
-rw-r--r-- | hol-light/TacticRecording/ex.dot | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/hol-light/TacticRecording/ex.dot b/hol-light/TacticRecording/ex.dot new file mode 100644 index 00000000..fbe961bd --- /dev/null +++ b/hol-light/TacticRecording/ex.dot @@ -0,0 +1,13 @@ +digraph G { + subgraph cluster0 { + label = "process #1" + a0->a1->a2->a3 + } + subgraph cluster1 { + label = "process #2" + b0->b1->b2->b3 + } + b3->23 + b2->a3 + a3->23 +}
\ No newline at end of file |