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
Kathy Gray
8a3a887857
Committing modifications to test cases;
...
committing small modification to grammar spec;
Committing change to docpos to add new profj language manual
svn: r7081
2007-08-11 11:42:21 +00:00
Eli Barzilay
e304444620
better error when a manual is not found in known-docs
...
svn: r7080
2007-08-11 00:04:59 +00:00
Robby Findler
c29edcc918
made sorting of doc.txt files be case insensitive
...
svn: r6836
2007-07-07 15:28:59 +00:00
Robby Findler
0fa95f13a3
alphabetized the doc.txt manuals
...
svn: r6823
2007-07-05 04:19:07 +00:00
Matthew Flatt
ff1b9feb86
remove quoted-printable experiment in bug-report submission
...
svn: r6677
2007-06-16 22:07:56 +00:00
Matthew Flatt
753c6bf6cc
change bug-report form to use a working qp encoding
...
svn: r6561
2007-06-10 01:04:56 +00:00
Robby Findler
860ee82a67
does some quoted printable encodings
...
svn: r6546
2007-06-08 14:49:56 +00:00
Jay McCarthy
bec7331eae
Standardizing names
...
svn: r6418
2007-05-30 22:01:17 +00:00
Jay McCarthy
6ac2665af9
Stream-lining web-server configuration sub-system
...
svn: r6417
2007-05-30 21:37:13 +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
Jay McCarthy
e9cc4026b9
Separating web-server signatures
...
svn: r6391
2007-05-29 21:29:46 +00:00
Matthew Flatt
a2cbbb6371
fix claim that Beginning Scheme is the default
...
svn: r5890
2007-04-08 20:57:31 +00:00
Jens Axel Soegaard
2589d4fc0d
Added
...
head-pure-port, delete-pure-port, put-pure-port,
head-impure-port, delete-impure-port, put-impure-port
to (lib "url.ss" "net").
Updated doc.txt.
svn: r5317
2007-01-11 23:57:01 +00:00
Eli Barzilay
ddc068c52b
2006->2007
...
svn: r5201
2006-12-31 10:05:55 +00:00
Robby Findler
548bbd2e38
PR 8449
...
svn: r5190
2006-12-28 02:39:08 +00:00
Robby Findler
3e679de9a5
adapted repl to new prompt stuff, fixed minor other things along the way
...
svn: r5179
2006-12-24 20:55:33 +00:00
Robby Findler
48a701276d
clarified a little
...
svn: r5169
2006-12-22 22:25:52 +00:00
Robby Findler
77536bfe0f
fixed bug in, and improved error message reporting for doc.txt files
...
svn: r5168
2006-12-22 17:44:44 +00:00
Robby Findler
6d4fcabd68
fixed bug in, and improved error message reporting for doc.txt files
...
svn: r5167
2006-12-22 17:43:54 +00:00
Matthew Flatt
7b13755dad
unit clean-up
...
svn: r5160
2006-12-22 01:26:58 +00:00
Robby Findler
5e2fb3605c
fixed :: in doc.txt files
...
svn: r5154
2006-12-21 15:39:38 +00:00
Robby Findler
5b03d69333
fixed PR 8442
...
svn: r5149
2006-12-20 21:48:32 +00:00
Robby Findler
57524d3b8c
fixed a bug in help desk resetting of the cache
...
svn: r5112
2006-12-14 00:17:54 +00:00
Eli Barzilay
3459c3a58f
merged units branch
...
svn: r5033
2006-12-05 20:31:14 +00:00
Eli Barzilay
b8ece48262
fix hdindex docs
...
svn: r4991
2006-11-30 22:17:11 +00:00
Eli Barzilay
3c499997e9
fix generation to use strings for file names, fix bogus stuff from previous commit
...
svn: r4990
2006-11-30 22:15:31 +00:00
Eli Barzilay
f00b68a872
reformat a little
...
svn: r4987
2006-11-30 21:10:32 +00:00
Eli Barzilay
7b17bc4efd
fixed path bug
...
svn: r4946
2006-11-26 07:07:18 +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