Fixing a typo in the P2 package name docs

2012-12-03 13:13:28 -07:00 · 2012-12-03 13:13:28 -07:00 · ed00c8d70c
commit ed00c8d70c
parent 6c2fa8ca71
1 changed files with 1 additions and 0 deletions
--- a/collects/planet2/scribblings/planet2.scrbl
+++ b/collects/planet2/scribblings/planet2.scrbl
@ -9,6 +9,7 @@
@(define package-name-chars
   @list{@litchar{a} through @litchar{z}, 
         @litchar{A} through @litchar{Z}, 
+         @litchar{0} through @litchar{9}, 
         @litchar{_}, and @litchar{-}})

@(define (inset . c)