suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
5,422 Commits 17 Branches 54 Tags 278 MiB
0cce6efb54
Commit Graph

154 Commits

Author SHA1 Message Date
Robby Findler
bd93217061 refactored the contract system so that contracts do not depend on the class system, and now the class contracts are exported from class.ss 
svn: r7357
 2007-09-17 02:27:05 +00:00
Jens Axel Soegaard
78b57246a2 Added keywords from doc.txt files to the master index page. 
svn: r7345
 2007-09-15 15:12:33 +00:00
Jens Axel Soegaard
e6b71b6c97 Added entries in hdindex files to the Help Desk master index page. 
svn: r7338
 2007-09-14 21:03:26 +00:00
Jens Axel Soegaard
f293528155 Inserted search string in page title for search results as requested in PR8922. 
svn: r7336
 2007-09-14 19:14:46 +00:00
Jens Axel Soegaard
de8ec8f1d5 Fixed PR 8919 (Problem with refreshing of individual manuals). 
svn: r7326
 2007-09-13 09:34:51 +00:00
Ryan Culpepper
9096231611 added planet info to help desk manuals listing and search results 
svn: r7318
 2007-09-11 15:54:25 +00:00
Jens Axel Soegaard
f2dcf82f50 Added the beginnings of a master index. Search for it to try it. 
svn: r7250
 2007-09-01 17:08:19 +00:00
Jens Axel Soegaard
588be4e4cf Graceful exit on breaks for Help Desk Server. 
svn: r7249
 2007-09-01 16:02:05 +00:00
Jens Axel Soegaard
37957c8548 Added top bar to the HelpDesk servlets doc-anchor.ss and doc-content.ss when used by an external browser. 
svn: r7234
 2007-08-30 22:02:33 +00:00
Jens Axel Soegaard
9b8abc0275 "Acknowledgements" moved to home.ss. 
HelpDesk-urls moved to the non-private help-desk-urls.ss so other collections can refer to them.
Fixed a few broken links in the "About DrScheme" dialog.

svn: r7230
 2007-08-30 20:08:11 +00:00
Jens Axel Soegaard
125d152a9c Moving "misc" pages (mostly "How to ...") into home.ss. 
svn: r7211
 2007-08-28 21:45:13 +00:00
Jens Axel Soegaard
32b0e7609b Fixed mistake in split-screen.ss. 
svn: r7208
 2007-08-28 20:49:54 +00:00
Jens Axel Soegaard
56cf196320 Moved "A Note on Language Levels" into home.ss. 
svn: r7207
 2007-08-28 20:47:39 +00:00
Jens Axel Soegaard
15128abf52 All topics in /servlets/research/ are now in home.ss, so the folder has been deleted. 
svn: r7206
 2007-08-28 20:33:10 +00:00
Jens Axel Soegaard
b1cedcf7b4 Moved "Known Bugs", "License", and "Patches" into home.ss. 
svn: r7205
 2007-08-28 18:38:45 +00:00
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
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
Eli Barzilay
1baa0efe62 typo 
svn: r7193
 2007-08-27 09:20:55 +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
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
Eli Barzilay
dd13471f86 minor stuff 
svn: r7167
 2007-08-26 01:17:38 +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
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
Robby Findler
c1838f88e0 improved fix to PR 8880 
svn: r7126
 2007-08-20 08:51:17 +00:00
Eli Barzilay
1135ca5140 PR8880 
svn: r7125
 2007-08-20 03:08:07 +00:00
Robby Findler
12a487020b fix to PR 8872 
svn: r7101
 2007-08-14 23:53:03 +00:00
Robby Findler
1e648f350f fixed PR 8870 
svn: r7096
 2007-08-14 05:06:08 +00:00