bdfcca7d11
it's installed on the web page it's easy to add the missing class with a `display: none' so it's not show without any html rehacking. Disabled the "(installation)" suffix to the main title for now: it's also used for the window title and that shouldn't have the suffix because the browser window will have it. svn: r11452 |
||
|---|---|---|
| .. | ||
| drscheme | ||
| foreign | ||
| framework | ||
| gui | ||
| guide | ||
| honu | ||
| htdp-langs | ||
| inside | ||
| main | ||
| more | ||
| mzc | ||
| quick | ||
| reference | ||
| scribble | ||
| setup-plt | ||
| slideshow | ||
| tools | ||
| finger.png | ||
| icons.ss | ||
| info.ss | ||
| magnify.png | ||
