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
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
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
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
Jay McCarthy
4cdddaec1a
Removing obsolete functions and fixing report-errors-to-browser, which did not work
...
svn: r6402
2007-05-30 15:10:24 +00:00
Eli Barzilay
f68b85da36
major cleanups in the help desk servlets
...
svn: r4941
2006-11-23 22:46:57 +00:00
Eli Barzilay
666cb085cc
avoid remembering bad links in case a manual that was not installed gets installed
...
svn: r3834
2006-07-27 05:23:35 +00:00
Eli Barzilay
02357fd0c9
some cleanup and misc improvements
...
svn: r3755
2006-07-18 21:16:20 +00:00
Robby Findler
90581cc4f6
fixed much of PR 8094 and extended the module browser to also hide planet requires PR 7932
...
svn: r3290
2006-06-08 21:59:41 +00:00
Eli Barzilay
017d151d59
Adding collects, with all the right properties (except eoln-style).
...
svn: r3
2005-05-27 18:56:37 +00:00
