summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2012-05-08Informative output for Stack, Dictionary, Assumptions, TheoremsJed Barber
2012-05-07Initial sourceJed Barber
2012-04-24first commitJed Barber