1(load "../lisp-utils/defsystem.lisp") 2(compiler::emit-fn t) 3(mk::oos "maxima" :compile :verbose t) 4(compiler::make-all-proclaims "*/*.fn" "*/*/*/*.fn") 5
1(load "../lisp-utils/defsystem.lisp") 2(compiler::emit-fn t) 3(mk::oos "maxima" :compile :verbose t) 4(compiler::make-all-proclaims "*/*.fn" "*/*/*/*.fn") 5