Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

 

!all-covered
!bound
!defined
!eval
!integer
!integer*
!procedure
!procedure*
!syntax
!test
!test/exn
:coverage?
:create-text?
:eval?
:extra-lines
:language
:markup-prefix
:maxwidth
:multi-file
:names-checker
:output
:prefix-re
:requires
:student-line
:teachpacks
:textualize?
:untabify?
:user-error-message
:users
:value-printer
@test
@test/exn
active-dirs
add-header-line!
add-report-line!
add-score-to-report!
Additional Utilities
allow-change-info
allow-new-users
allow-web-upload
Auto-Updater
call-with-evaluator
call-with-evaluator/submission
check-deadline
check-defined
check-max-submissions
check-proc
check:
Checker
Checker Utilities
Client Customization
current-value-printer
deadline
"deadline"
default-file-name
enable-auto-update
evaluate-all
evaluate-submission
extra-fields
get-assignment-name
get-conf
get-submission-timestamp
get-submit-on-error?
get-user-assignment-directory
Grading Utilities
Handin Server
Handin-Server and Client
handin-server/checker
handin-server/grading-utils
handin-server/sandbox
handin-server/utils
hook
hook-file
inactive-dirs
log-file
log-line
log-output
'login
look-for-tests
make-evaluator/submission
master-password
max-submissions
max-upload
max-upload-keep
message
Multiple-File Submissions
package-filename
pairs-or-singles-with-warning
port-number
post:
pre:
procedure/arity?
Quick Start for a Test Drive
report-delay-in-minutes
reraise-exn-as-submission-problem
Sandbox
score-add-penalty!
Server Setup
'server-connect
server-dir
'server-start
session-memory-limit
session-timeout
set-run-status
set-test-max-score!
'status-file-get
'status-login
'submission-committed
submission-eval
'submission-received
'submission-retrieved
teams-in-file
test-history-enabled
timeout-control
unpack-submission
update-submission-timestamp!
use-https
'user-change
user-construct
'user-create
user-data
user-desc
user-regexp
user-substs
username-case-sensitive
Utilities
version-filename
web-log-file
Where is the Collection?
with-output-to-report
write-report

 
var _hmt = _hmt || []; (function() { var hm = document.createElement("script"); hm.src = "https://hm.baidu.com/hm.js?f1ba5b4a33d29d84db69f029b9ace483"; var s = document.getElementsByTagName("script")[0]; s.parentNode.insertBefore(hm, s); })();