From 011301e80d0e7f4bd435b029fadbcc618d22aea6 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Thu, 18 Sep 2008 15:12:35 +0000 Subject: [PATCH] some fixes, put stuff in common.ss svn: r11800 --- collects/handin-server/scribblings/common.ss | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 collects/handin-server/scribblings/common.ss diff --git a/collects/handin-server/scribblings/common.ss b/collects/handin-server/scribblings/common.ss new file mode 100644 index 0000000000..2130de2c68 --- /dev/null +++ b/collects/handin-server/scribblings/common.ss @@ -0,0 +1,20 @@ +#lang scheme/base + +(require scheme/require) + +(require scribble/manual + (for-label scheme + (subtract-in handin-server/checker scheme) + ;; scheme/sandbox + handin-server/sandbox + handin-server/utils + mred + "hook-dummy.ss")) + +(provide (all-from-out scribble/manual) + (for-label (all-from-out scheme + handin-server/checker + handin-server/sandbox + handin-server/utils + mred + "hook-dummy.ss")))