suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Renaming re: Eli

Browse Source
This commit is contained in:
Jay McCarthy 2010-05-12 14:33:06 -06:00
parent b6abe53002
commit 8f6c0d415c
2 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/meta/drdr/metadata.ss
View File

@ -36,7 +36,7 @@
; XXX Document on help page
; XXX Use in computing "changes?"
(define (path-random? a-path)
(get-prop a-path 'drdr:random?))
(get-prop a-path 'drdr:random))
(provide/contract
[PROP:command-line string?]

8
collects/meta/props
View File

@ -487,7 +487,7 @@ path/s is either such a string or a list of them.
number->string)
;; --------------------
(make-prop
'drdr:random?
'drdr:random
"is file output random?"
(lambda (str)
(if (regexp-match? #rx"^(yes|no)$" str)
@ -1345,9 +1345,9 @@ path/s is either such a string or a list of them.
"collects/tests/drracket/language-test.rkt" drdr:command-line "mred ~s" drdr:timeout 600
"collects/tests/drracket/module-lang-test-utils.rkt" drdr:command-line "mred-text -t ~s"
"collects/tests/drracket/module-lang-test.rkt" drdr:command-line "mred ~s" drdr:timeout 120
"collects/tests/drracket/randomly-click-language-dialog.rkt" drdr:command-line "mzc ~s" drdr:random? #t
"collects/tests/drracket/randomly-click-preferences.rkt" drdr:command-line "mzc ~s" drdr:random? #t
"collects/tests/drracket/randomly-click.rkt" drdr:command-line "" drdr:random? #t
"collects/tests/drracket/randomly-click-language-dialog.rkt" drdr:command-line "mzc ~s" drdr:random #t
"collects/tests/drracket/randomly-click-preferences.rkt" drdr:command-line "mzc ~s" drdr:random #t
"collects/tests/drracket/randomly-click.rkt" drdr:command-line "" drdr:random #t
"collects/tests/drracket/repl-test.rkt" drdr:command-line "mred ~s" drdr:timeout 600
"collects/tests/drracket/sample-solutions-one-window.rkt" drdr:command-line "mred-text -t ~s"
"collects/tests/drracket/save-teaching-lang-file.rkt" drdr:command-line "mred ~s"