#lang scheme/base (require "interface.ss" "module.ss" "link.ss" "invoke.ss" "top.ss" "require.ss" "keywords.ss" "teachpacks.ss" (except-in "../lang/acl.ss" include-book)) (provide (rename-out [interface-macro interface] [module-macro module] [link-macro link] [invoke-macro invoke] [module-begin-macro #%module-begin] [top-interaction-macro #%top-interaction] [require-macro require]) (all-from-out "keywords.ss" "teachpacks.ss" "../lang/acl.ss"))