diff options
author | mark <> | 2012-02-23 17:12:05 +0000 |
---|---|---|
committer | mark <> | 2012-02-23 17:12:05 +0000 |
commit | 4ed83bcb88f220cc08c3223bd4f274eaa5f31e0c (patch) | |
tree | 7bbf95ed0b561cfdf2e491ca8b6d614b9cdf0e49 /hol-light/TacticRecording/main.ml | |
parent | f1fdbc36e57c6005aed913830eabe2115dabc7c5 (diff) |
Altered graph .dot export so that nodes are displayed as their tactic.
Diffstat (limited to 'hol-light/TacticRecording/main.ml')
0 files changed, 0 insertions, 0 deletions