| .. |
|
drscheme
|
Lots of minor edits -- mainly dropping unnecessary backslashes and
|
2008-08-27 08:35:27 +00:00 |
|
foreign
|
assign authors to manuals
|
2008-08-15 20:16:06 +00:00 |
|
framework
|
moved the first-line-text stuff into the framework, added docs, added a pref to disable it and made it work a little bit better with check syntax
|
2008-08-29 04:24:34 +00:00 |
|
gui
|
fix some remaining Latex-isms that Eli found in the docs
|
2008-08-27 12:28:24 +00:00 |
|
guide
|
Lots of minor edits -- mainly dropping unnecessary backslashes and
|
2008-08-27 08:35:27 +00:00 |
|
honu
|
Lots of minor edits -- mainly dropping unnecessary backslashes and
|
2008-08-27 08:35:27 +00:00 |
|
htdp-langs
|
fixed docs for lang
|
2008-08-20 02:38:02 +00:00 |
|
inside
|
fix some remaining Latex-isms that Eli found in the docs
|
2008-08-27 12:28:24 +00:00 |
|
main
|
Use an nonexistent css class for installation warning message, so when
|
2008-08-27 11:19:20 +00:00 |
|
more
|
web-server-tutorial -> continue
|
2008-08-24 14:22:39 +00:00 |
|
mzc
|
avoid depending on the message text for a cm-accomplice event
|
2008-08-20 13:37:57 +00:00 |
|
quick
|
assign authors to manuals
|
2008-08-15 20:16:06 +00:00 |
|
reference
|
fix some remaining Latex-isms that Eli found in the docs
|
2008-08-27 12:28:24 +00:00 |
|
scribble
|
Lots of minor edits -- mainly dropping unnecessary backslashes and
|
2008-08-27 08:35:27 +00:00 |
|
setup-plt
|
couple of typos
|
2008-08-19 17:15:22 +00:00 |
|
slideshow
|
Lots of minor edits -- mainly dropping unnecessary backslashes and
|
2008-08-27 08:35:27 +00:00 |
|
tools
|
assign authors to manuals
|
2008-08-15 20:16:06 +00:00 |
|
finger.png
|
more cross-referencing and icons to help explain margin notes
|
2007-06-23 02:33:00 +00:00 |
|
icons.ss
|
fix Scribble and some docs after today's changes
|
2008-04-02 23:34:47 +00:00 |
|
info.ss
|
* Changed setup-plt to compile collections if they have an "info.ss"
|
2008-02-12 10:33:01 +00:00 |
|
magnify.png
|
more cross-referencing and icons to help explain margin notes
|
2007-06-23 02:33:00 +00:00 |
