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

fixed up case for contracts

Browse Source 
svn: r8479
This commit is contained in:
Robby Findler 2008-01-30 20:25:37 +00:00
parent 9bdbfba888
commit 5094c9b95b
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/scribblings/guide/contracts.scrbl
View File

@ -3,11 +3,11 @@
@require[scribble/eval] @require[scribble/eval]
@require["guide-utils.ss"] @require["guide-utils.ss"]
@title[#:tag "Contracts" #:style 'toc]{Contracts} @title[#:tag "contracts" #:style 'toc]{Contracts}
This chapter provides a gentle introduction to PLT Scheme's This chapter provides a gentle introduction to PLT Scheme's
contract system. For the complete details see the contract system. For the complete details see the
@refsecref["Contracts"] section in the reference manual. @refsecref["contracts"] section in the reference manual.
@local-table-of-contents[] @local-table-of-contents[]

4
collects/scribblings/reference/contracts.scrbl
View File

@ -1,11 +1,11 @@
#lang scribble/doc #lang scribble/doc
@require["mz.ss"] @require["mz.ss"]
@title[#:tag "Contracts" #:style 'toc]{Contracts} @title[#:tag "contracts" #:style 'toc]{Contracts}
This chapter is long on detail and short on the motivation This chapter is long on detail and short on the motivation
and pragmatics of using contracts. See and pragmatics of using contracts. See
@guidesecref["Contracts"] in the Guide for more of the @guidesecref["contracts"] in the Guide for more of the
latter and less of the former. latter and less of the former.
A @defterm{contract} controls the flow of values to ensure that the A @defterm{contract} controls the flow of values to ensure that the