some fixes, put stuff in common.ss

svn: r11800
2008-09-18 15:12:35 +00:00 · 2008-09-18 15:12:35 +00:00 · 011301e80d
commit 011301e80d
parent db9c864d0f
1 changed files with 20 additions and 0 deletions
--- a/collects/handin-server/scribblings/common.ss
+++ 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")))