cs019/private/info.rkt
#lang setup/infotab

;; sigs is the original version of Shriram's signature library.  We'll
;; be patching it anyway, so don't compile this source file.
(define compile-omit-paths '("sigs.rkt"))