OSDN Git Service

get rid of tex.pool.