summaryrefslogtreecommitdiff
path: root/Graph.hs
AgeCommit message (Expand)Author
2012-06-14Changed doGraphGen function to return only the graphJed Barber
2012-06-14Fixed bug with remove/refJed Barber
2012-06-13Changed pop to be handled speciallyJed Barber
2012-06-07Code to generate a dependency graph of commands in a proof traceJed Barber