svn: r135

This commit is contained in:
Jono Spiro 2004-08-04 08:33:10 +00:00
parent c578b7218a
commit 3de4a75c5e
3 changed files with 3 additions and 5 deletions

View File

@ -1,9 +1,7 @@
(module debugger-annotate mzscheme
(require (prefix kernel: (lib "kerncase.ss" "syntax"))
(lib "shared.ss" "stepper" "private")
(lib "marks.ss" "stepper" "private")
(lib "contract.ss"))
(lib "marks.ss" "stepper" "private"))
;; (define count 0)

View File

@ -1,7 +1,7 @@
(module debugger-model mzscheme
(require (lib "unit.ss")
(lib "mred.ss" "mred")
(lib "marks.ss" "stepper/private")
(lib "marks.ss" "stepper" "private")
"debugger-annotate.ss"
"mztake-structs.ss"
"private/load-annotator.ss"

View File

@ -77,7 +77,7 @@ TESTING/CAPABILITIES------------------------------------------------------------
(require (lib "match.ss")
(lib "unit.ss")
(lib "contract.ss")
(lib "marks.ss" "stepper/private")
(lib "marks.ss" "stepper" "private")
(prefix frp: (lib "frp.ss" "frtime"))
"private/useful-code.ss"
"private/more-useful-code.ss" ; mostly for hash- bindings