new require format
svn: r15861
This commit is contained in:
parent
1d4da3df4c
commit
a04517452f
|
@ -15,7 +15,7 @@ that are intended for a more automated system. This module is a
|
||||||
language module---a typical checker that uses it looks like this:
|
language module---a typical checker that uses it looks like this:
|
||||||
|
|
||||||
@schemeblock[
|
@schemeblock[
|
||||||
(module checker (lib "checker.ss" "handin-server")
|
(module checker handin-server/checker
|
||||||
(check: :language '(special intermediate)
|
(check: :language '(special intermediate)
|
||||||
:users pairs-or-singles-with-warning
|
:users pairs-or-singles-with-warning
|
||||||
:coverage? #t
|
:coverage? #t
|
||||||
|
|
Loading…
Reference in New Issue
Block a user