added teachpack-htdc

svn: r3368
This commit is contained in:
Eli Barzilay 2006-06-15 14:38:45 +00:00
parent 390619d290
commit ee5a3c54a2

View File

@ -5,7 +5,7 @@
(provide/contract (provide/contract
[standard-html-doc-position (path? . -> . number?)] [standard-html-doc-position (path? . -> . number?)]
[known-docs (listof (cons/c path? string?))]) [known-docs (listof (cons/c path? string?))])
;; Define an order on the standard docs. ;; Define an order on the standard docs.
(define (standard-html-doc-position d) (define (standard-html-doc-position d)
(let ([str (path->string d)]) (let ([str (path->string d)])
@ -16,7 +16,7 @@
(caddr line) (caddr line)
100))))) 100)))))
;; (listof (list string string number)) ;; (listof (list string string number))
;; the first string is the collection name ;; the first string is the collection name
;; the second string is the title of the the manual ;; the second string is the title of the the manual
@ -25,12 +25,12 @@
`(("r5rs" "Revised^5 Report on the Algorithmic Language Scheme" -50) `(("r5rs" "Revised^5 Report on the Algorithmic Language Scheme" -50)
("mzscheme" "PLT MzScheme: Language Manual" -49) ("mzscheme" "PLT MzScheme: Language Manual" -49)
("mred" "PLT MrEd: Graphical Toolbox Manual" -48) ("mred" "PLT MrEd: Graphical Toolbox Manual" -48)
("tour" "A Brief Tour of DrScheme" 0) ("tour" "A Brief Tour of DrScheme" 0)
("drscheme" "PLT DrScheme: Programming Environment Manual" 1) ("drscheme" "PLT DrScheme: Programming Environment Manual" 1)
("srfi" "SRFI documents inside PLT" 3) ("srfi" "SRFI documents inside PLT" 3)
("mzlib" "PLT MzLib: Libraries Manual" 5) ("mzlib" "PLT MzLib: Libraries Manual" 5)
("misclib" "PLT Miscellaneous Libraries: Reference Manual" 6) ("misclib" "PLT Miscellaneous Libraries: Reference Manual" 6)
("mrlib" "PLT MrLib: Graphical Libraries Manual" 7) ("mrlib" "PLT MrLib: Graphical Libraries Manual" 7)
@ -38,7 +38,7 @@
("mzc" "PLT mzc: MzScheme Compiler Manual" 10) ("mzc" "PLT mzc: MzScheme Compiler Manual" 10)
("foreign" "PLT Foreign Interface Manual" 10) ("foreign" "PLT Foreign Interface Manual" 10)
("tools" "PLT Tools: DrScheme Extension Manual" 30) ("tools" "PLT Tools: DrScheme Extension Manual" 30)
("insidemz" "Inside PLT MzScheme" 50) ("insidemz" "Inside PLT MzScheme" 50)
@ -48,16 +48,17 @@
("t-y-scheme" "Teach Yourself Scheme in Fixnum Days" 100) ("t-y-scheme" "Teach Yourself Scheme in Fixnum Days" 100)
("tex2page" "TeX2page" 101) ("tex2page" "TeX2page" 101)
("beginning" "Beginning Student Language" 200) ("beginning" "Beginning Student Language" 200)
("beginning-abbr" "Beginning Student with List Abbreviations Language" 201) ("beginning-abbr" "Beginning Student with List Abbreviations Language" 201)
("intermediate" "Intermediate Student Language" 202) ("intermediate" "Intermediate Student Language" 202)
("intermediate-lambda" "Intermediate Student with Lambda Language" 203) ("intermediate-lambda" "Intermediate Student with Lambda Language" 203)
("advanced" "Advanced Student Language" 204) ("advanced" "Advanced Student Language" 204)
("teachpack" "Teachpacks for How to Design Programs" 205) ("teachpack" "Teachpacks for How to Design Programs" 205)
("teachpack-htdc" "Teachpacks for How to Design Classes" 206)
("profj-beginner" "ProfessorJ Beginner Language" 210) ("profj-beginner" "ProfessorJ Beginner Language" 210)
("profj-intermediate" "ProfessorJ Intermediate Language" 211) ("profj-intermediate" "ProfessorJ Intermediate Language" 211)
("profj-advanced" "ProfessorJ Advanced Language" 212))) ("profj-advanced" "ProfessorJ Advanced Language" 212)))
(define known-docs (map (lambda (x) (cons (string->path (car x)) (cadr x))) docs-and-positions))) (define known-docs (map (lambda (x) (cons (string->path (car x)) (cadr x))) docs-and-positions)))