1980-08-09 /decus_20tap1_198111/01/decus/20-0006/jacobi.scm 1980-08-09 /decuslib20-01/01/decus/20-0006/jacobi.scm