summaryrefslogtreecommitdiff
path: root/ProofGraphMain.hs
AgeCommit message (Expand)Author
2012-07-12Graph generating functions accessible as a moduleJed Barber