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 /generic/proof-script.el | |
| parent | 6ecd3be998c4d2a6d8dae8ec2f67c50305a251ef (diff) | |
Capability for exporting .dot files added.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions