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
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
Jens Axel Soegaard
43cf491b3f
Changed header the Help Desk Home page.
...
svn: r7185
2007-08-26 21:36:57 +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
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
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
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
d5528cdb12
svn: r4945
2006-11-26 07:01:19 +00:00
Eli Barzilay
f68b85da36
major cleanups in the help desk servlets
...
svn: r4941
2006-11-23 22:46:57 +00:00
Robby Findler
db97c7c4ae
fixed PR 8389
...
svn: r4880
2006-11-18 16:09:42 +00:00
Robby Findler
1c9cc76add
removed use of regular regexps (they were just there as a 'performance improvement') and improved regexp for email addresses a little so it doesn't match ,@
...
svn: r4442
2006-09-26 21:53:49 +00:00
Eli Barzilay
9951d97d06
Added a teachpacks page, with links to both manuals,
...
more improvements.
svn: r3756
2006-07-18 23:43:55 +00:00
Robby Findler
49667529da
improved running time of contracts and moved some provide/contracts to the bottom of files (not necc yet, but may become necc)
...
svn: r3665
2006-07-09 21:07:04 +00:00
Robby Findler
2b52904d0e
probable fix to PR 7893
...
svn: r2234
2006-02-15 18:33:43 +00:00
Robby Findler
8861cff087
added the not-a-language-language and some bug fixes elsewhere
...
svn: r1129
2005-10-22 17:03:13 +00:00
Eli Barzilay
0f835f2003
some more "cvs" removals
...
svn: r37
2005-06-01 06:05:38 +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