Jens Axel Soegaard
9ebc1d2995
Moved pages on "Mailing Lists" and "TeachScheme" into home.ss.
...
Simplified the "Mailing Lists" page.
Deleted the now obsolete resources folder.
svn: r7204
2007-08-28 18:24:51 +00:00
Robby Findler
06cb1a0605
checked in Pedro's suggestion to improve how files open under windows
...
svn: r7203
2007-08-28 16:30:35 +00:00
Eli Barzilay
281e515830
Welcome to a new PLT day.
...
svn: r7200
2007-08-28 07:50:02 +00:00
Jens Axel Soegaard
e17716d8a6
Contents of /servlets/resources/libext.ss has now been moved to home.ss.
...
svn: r7198
2007-08-27 21:19:54 +00:00
Jens Axel Soegaard
f6bce19c86
Moved /servlets/scheme/doc.ss into home.ss.
...
svn: r7197
2007-08-27 20:42:19 +00:00
Jens Axel Soegaard
d35c7cbc9d
Added generation of entries of hdindex for subpages of /servlets/home.ss
...
svn: r7196
2007-08-27 19:56:25 +00:00
Eli Barzilay
48ed9c47af
fixed path values
...
svn: r7195
2007-08-27 15:42:10 +00:00
Robby Findler
7fc8d8c888
fixed PR 8887
...
svn: r7194
2007-08-27 15:18:23 +00:00
Eli Barzilay
1baa0efe62
typo
...
svn: r7193
2007-08-27 09:20:55 +00:00
Eli Barzilay
4e6a109ada
Welcome to a new PLT day.
...
svn: r7192
2007-08-27 07:50:03 +00:00
Eli Barzilay
3532652539
misc improvements
...
svn: r7191
2007-08-27 04:07:47 +00:00
Eli Barzilay
4b7a9ce822
misc improvements
...
svn: r7190
2007-08-27 01:54:18 +00:00
Eli Barzilay
b4dd7515c4
misc improvements
...
svn: r7189
2007-08-27 00:50:44 +00:00
Jens Axel Soegaard
74b20d58d1
Added more vertical space at the "home" page in the internal HelpDesk.
...
svn: r7188
2007-08-26 22:09:13 +00:00
Jens Axel Soegaard
6d2e979416
Fixed same mistake for Acknowledgments.
...
svn: r7187
2007-08-26 21:54:07 +00:00
Jens Axel Soegaard
31b017289d
Fixed forgotten bug report link in browser-internal-simple mode.
...
svn: r7186
2007-08-26 21:43:36 +00:00
Jens Axel Soegaard
43cf491b3f
Changed header the Help Desk Home page.
...
svn: r7185
2007-08-26 21:36:57 +00:00
Jens Axel Soegaard
1fae7ae2b0
Note on installed manuals now only appear for external-browser.
...
svn: r7184
2007-08-26 20:52:12 +00:00
Jens Axel Soegaard
27bef0e8d4
Added headers for internal-browser-simple.
...
Added version on the first page.
svn: r7183
2007-08-26 17:03:25 +00:00
Jens Axel Soegaard
f356d2362d
Changed back to internal-browser-simple to mimick the old HelpDesk.
...
svn: r7182
2007-08-26 17:02:31 +00:00
Jens Axel Soegaard
e9f2c2a78d
The installer no longer outputs any #<path:...> into hdindex.
...
svn: r7181
2007-08-26 15:25:40 +00:00
Eli Barzilay
1685340d99
re-added shutdown
...
svn: r7180
2007-08-26 14:45:17 +00:00
Jens Axel Soegaard
709f217026
In "home.ss" the "start" function can now handle a #f request.
...
This fixes the problem with "Edit|Preferences" in DrScheme.
svn: r7179
2007-08-26 14:24:15 +00:00
Robby Findler
14888e3e07
made the error display handler be a little more robust for multi-threading situations
...
svn: r7177
2007-08-26 12:29:49 +00:00
Eli Barzilay
460c3d6477
Welcome to a new PLT day.
...
svn: r7176
2007-08-26 07:50:03 +00:00
Eli Barzilay
a8c0d5b881
remove debugging line
...
svn: r7175
2007-08-26 06:16:03 +00:00
Eli Barzilay
897d92c3cf
make a launcher for standalone help-desk server, option for port number to listen on
...
svn: r7174
2007-08-26 06:15:45 +00:00
Eli Barzilay
592be14b81
moved internal-port to options.ss
...
svn: r7173
2007-08-26 05:48:55 +00:00
Eli Barzilay
54cec85b45
current-helpdesk-platform -> helpdesk-platform
...
svn: r7172
2007-08-26 05:42:08 +00:00
Eli Barzilay
dfb5786bbc
renamed platform.ss to options.ss (so more stuff can be added later)
...
svn: r7171
2007-08-26 05:40:45 +00:00
Eli Barzilay
df22b0cbbd
No need to change anything when using the new launcher
...
svn: r7170
2007-08-26 04:35:01 +00:00
Greg Cooper
295f53b213
fix debugger to handle when syntax-position is #f
...
svn: r7169
2007-08-26 03:56:22 +00:00
Eli Barzilay
f6f6c9061b
Welcome to a new PLT day.
...
svn: r7168
2007-08-26 01:18:05 +00:00
Eli Barzilay
dd13471f86
minor stuff
...
svn: r7167
2007-08-26 01:17:38 +00:00
Kathy Gray
fb9525287a
Corrections to fix bugs 8893 & 8894
...
svn: r7164
2007-08-25 21:16:54 +00:00
Jens Axel Soegaard
03503840e9
Fixed position of ProfJ manuals.
...
svn: r7163
2007-08-25 20:40:12 +00:00
Jens Axel Soegaard
68cd3e23d6
Contents of deleted servlets are in home.ss.
...
Added launch.ss to omitted files in info.ss.
svn: r7162
2007-08-25 20:19:24 +00:00
Jens Axel Soegaard
02dde4ec4b
Added svn:eol-line = native property to newly added files.
...
svn: r7161
2007-08-25 19:13:33 +00:00
Jens Axel Soegaard
6d8b8a3390
Merged online HelpDesk into /collects/help
...
Most non-manual help desk pages are now in /help/servlets/home.ss
Servlets are now x-expr based instead of string based.
See instructions in /help/launch.ss if you want to try the online version.
svn: r7160
2007-08-25 19:08:33 +00:00
Eli Barzilay
9c1acc89dc
Welcome to a new PLT day.
...
svn: r7156
2007-08-24 20:19:00 +00:00
Ryan Culpepper
cdd9c7d0ce
Added tool manager to DrScheme (preferences panel)
...
More information available via setup/getinfo.ss
Changed help desk to show more info for package docs
svn: r7155
2007-08-23 22:07:00 +00:00
Eli Barzilay
34765705a5
remove unused binding
...
svn: r7153
2007-08-23 16:18:38 +00:00
Matthew Flatt
5628ebcf90
bug fixes from Chongkai
...
svn: r7152
2007-08-23 15:37:14 +00:00
Kathy Gray
acb4019fed
Modified so that the macro implementaiton isn't mentioned in errors to students
...
svn: r7149
2007-08-23 15:31:07 +00:00
Eli Barzilay
049866b9c3
Welcome to a new PLT day.
...
svn: r7146
2007-08-22 23:30:57 +00:00
Matthew Flatt
bae0952bf7
Chongkai's SRFI-27 re-implementation in terms of the native MzScheme random-number procedures
...
svn: r7145
2007-08-22 17:01:20 +00:00
Jacob Matthews
8d769c151c
Fix for PR8884
...
svn: r7141
2007-08-22 06:51:06 +00:00
Mike Sperber
fb9b192516
Activate suppression of modified messages. Otherwise, embedded
...
editors will always cause the parent buffer to think it's modified.
svn: r7131
2007-08-21 08:14:00 +00:00
Matthew Flatt
258490c8ad
fix timeout manager and replace regexp-based path manipulation with a call to find-relative-path
...
svn: r7128
2007-08-20 19:06:26 +00:00
Mike Sperber
663883bfcc
Fix encoding error.
...
svn: r7127
2007-08-20 11:46:56 +00:00
