#! /bin/sed -f
# Last edited on 2009-03-06 20:45:58 by stolfi

s:testtbfind:test_tbfind:g
s:testsortspeed:test_sort_speed:g
s:testsort:test_sort:g
s:testsleep:test_sleep:g
s:testnow:test_now:g
s:testjsmath:test_jsmath:g
s:testindexing:test_indexing:g
s:testenumorb:test_enum_orbits:g
