summaryrefslogtreecommitdiff
path: root/makefile
diff options
context:
space:
mode:
authorJed Barber <jjbarber@y7mail.com>2012-08-09 04:35:46 +1000
committerJed Barber <jjbarber@y7mail.com>2012-08-09 04:35:46 +1000
commit455df475317d4cf59e854fdb329d4f8a470474f3 (patch)
tree71f2e483c6db762b43b36a190a588a0788053569 /makefile
parenta44e9d598841612b277d0334e11c45348a6b3723 (diff)
Theorems now displayed properly instead of as maybe values
Diffstat (limited to 'makefile')
0 files changed, 0 insertions, 0 deletions