summaryrefslogtreecommitdiff
path: root/README
diff options
context:
space:
mode:
authorJed Barber <jjbarber@y7mail.com>2012-05-08 00:07:49 +1000
committerJed Barber <jjbarber@y7mail.com>2012-05-08 00:07:49 +1000
commitd8b7ebb07101260d910716c68832b195d1438838 (patch)
treed0a65d3e6b26ffc19cd5275048f8be222a6506a4 /README
parent5fb30184c733023f20578fa81077e7a7727a410d (diff)
Informative output for Stack, Dictionary, Assumptions, Theorems
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions