chiark / gitweb /
tweaks to verbose output
authorstevenj <stevenj@alum.mit.edu>
Wed, 20 Aug 2008 01:14:24 +0000 (21:14 -0400)
committerstevenj <stevenj@alum.mit.edu>
Wed, 20 Aug 2008 01:14:24 +0000 (21:14 -0400)
commit1400d465b687ca9f7585d5139c16457a94d5bc7c
tree5d1275a8915aba8a421c4fd5510bed8499d0fe4d
parenta39181c317b3b5d6accc3248b0d39c794f06a1f8
tweaks to verbose output

darcs-hash:20080820011424-c8de0-28d7e81e47e3daf7171ca30df12748148f93c65c.gz
mma/mma.c