[racket-dev] [plt] Push #23580: master branch updated

Reminder: checkpoint commits are perfectly fine, but please use
`rebase -i' to merge them before you push.


Yesterday, rafkind at racket-lang.org wrote:
> rafkind has updated `master' from 13e16d2b12 to 67c9e3e4af.
>   http://git.racket-lang.org/plt/13e16d2b12..67c9e3e4af
> 
> =====[ 2 Commits ]======================================================
> 
> Directory summary:
>   99.0% collects/scribblings/honu/
> 
> ~~~~~~~~~~
> 
> 34689f1 Jon Rafkind <rafkind at racket-lang.org> 2011-09-20 17:37
> :
> | [honu] checkpoint for docs
> :
>   M collects/honu/core/private/honu-typed-scheme.rkt |    3 +-
>   M collects/scribblings/honu/honu.scrbl             |  347 ++++++++-----------
> 
> ~~~~~~~~~~
> 
> 67c9e3e Jon Rafkind <rafkind at racket-lang.org> 2011-09-20 18:05
> :
> | [honu] more doc updates
> :
>   M collects/scribblings/honu/honu.scrbl |   97 +++++++++++++++++++++++++++++++

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!