more readable output for Tables.print
commit4b6eee65d2e41d7a2a7e465b9246729cf30da223
authorygrek <ygrek@autistici.org>
Mon, 28 Dec 2009 14:07:48 +0000 (28 16:07 +0200)
committerygrek <ygrek@autistici.org>
Mon, 28 Dec 2009 14:07:48 +0000 (28 16:07 +0200)
tree62d41974f90e1293b8a23cb03e39620a5337b845
parentbb29b5a661df75aaecbfb5471b0e41144e04a057
more readable output for Tables.print
src/rA.ml
src/tables.ml