summaryrefslogtreecommitdiff
path: root/ProofGraph.hs
AgeCommit message (Collapse)Author
2012-06-14Removed ID: marking from graph displayJed Barber
2012-06-14Added Show instance for the graphJed Barber
2012-06-07Code to generate a dependency graph of commands in a proof traceJed Barber