diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2012-09-27 18:51:04 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2012-09-27 18:51:04 +1000 |
| commit | 4146476e6fb7d07f13c29d3cc9ecf4addf2cbc99 (patch) | |
| tree | 269bb9aca365ca89aa32a5eed1a00d152e24b91c /ProofGraphMain.hs | |
| parent | ad1b2ed1e8fb4ec549318a27b5f80d2a6651b2dd (diff) | |
Utility to compare two article files to see if they produce the same results
Diffstat (limited to 'ProofGraphMain.hs')
0 files changed, 0 insertions, 0 deletions