Eli Barzilay
18d0028d35
Added `guess' as a fake teachpack. See additional note in
...
"overridden-collects/readme.txt".
svn: r11866
2008-09-25 07:05:48 +00:00
Eli Barzilay
b465a25656
teachpacks -> requires (keep :teachpacks for compatibility)
...
svn: r11865
2008-09-25 06:26:18 +00:00
Eli Barzilay
516647216d
some more stuff about text related options
...
svn: r11862
2008-09-25 00:34:23 +00:00
Eli Barzilay
d981ea63ec
fix the make-evaluator call
...
svn: r11861
2008-09-24 23:23:19 +00:00
Eli Barzilay
95526fbc5a
formatting
...
svn: r11860
2008-09-24 20:38:57 +00:00
Eli Barzilay
6bb96f95b0
minor
...
svn: r11859
2008-09-24 20:14:56 +00:00
Eli Barzilay
ea52bc06ad
more clarifications
...
svn: r11854
2008-09-24 19:02:34 +00:00
Eli Barzilay
06baadf3a8
clarify the docs for text-related options
...
svn: r11853
2008-09-24 18:41:49 +00:00
Eli Barzilay
956e290b03
use mred-text in the instructions for starting the server
...
svn: r11847
2008-09-24 04:01:59 +00:00
Eli Barzilay
056ca07a7f
avoid showing the lock thread
...
svn: r11824
2008-09-20 13:53:22 +00:00
Eli Barzilay
23c4073c44
clarification
...
svn: r11817
2008-09-19 02:37:25 +00:00
Eli Barzilay
5072b8d0c4
clarification
...
svn: r11816
2008-09-19 01:08:35 +00:00
Eli Barzilay
b8c1988ada
clarification
...
svn: r11811
2008-09-18 19:47:29 +00:00
Eli Barzilay
bafb87990d
create directories that are specified but missing, use open-output-nowhere
...
svn: r11810
2008-09-18 19:42:30 +00:00
Eli Barzilay
d44850f515
check handin-server directory exists
...
svn: r11807
2008-09-18 19:13:25 +00:00
Eli Barzilay
0dfca67442
clarify https-port-number in the quickstart section
...
svn: r11803
2008-09-18 16:28:25 +00:00
Eli Barzilay
8b2bf40f55
reorganize docs into separate files
...
svn: r11802
2008-09-18 16:24:35 +00:00
Eli Barzilay
bb1e10bd1c
forgot to include this too
...
svn: r11801
2008-09-18 15:14:53 +00:00
Eli Barzilay
011301e80d
some fixes, put stuff in common.ss
...
svn: r11800
2008-09-18 15:12:35 +00:00
Robby Findler
db9c864d0f
svn: r11798
2008-09-18 13:38:52 +00:00
Robby Findler
c7e4af29c6
more little typo fixes
...
svn: r11797
2008-09-18 13:26:15 +00:00
Robby Findler
4600e4639e
svn: r11796
2008-09-18 13:17:48 +00:00
Eli Barzilay
42e33b7d94
minor tweaks
...
svn: r11710
2008-09-13 00:51:21 +00:00
Stevie Strickland
f7cd4784de
Need the #:exists keyword here.
...
svn: r11704
2008-09-12 22:43:58 +00:00
Eli Barzilay
5541890dd5
yet more v4-isms
...
svn: r11684
2008-09-12 15:41:34 +00:00
Eli Barzilay
0c0630d50d
more v4-isms
...
svn: r11683
2008-09-12 15:30:38 +00:00
Eli Barzilay
78632e178d
svn: r11682
2008-09-12 15:23:05 +00:00
Stevie Strickland
12bcac14d3
Converting utils.ss and checker.ss to scheme/base.
...
svn: r11633
2008-09-10 17:59:24 +00:00
Eli Barzilay
7d50e61c7f
* Newlines at EOFs
...
* Another big chunk of v4-require-isms
* Allow `#lang framework/keybinding-lang' for keybinding files
* Move hierlist sources into "mrlib/hierlist", leave stub behind
svn: r10689
2008-07-09 07:18:06 +00:00
Eli Barzilay
e22b4c47e3
back to braces, with #:indent
...
svn: r9937
2008-05-22 23:51:13 +00:00
John Clements
ffd865a33f
changed { to [ in verbatim
...
svn: r9932
2008-05-22 22:08:50 +00:00
John Clements
0a51641563
fixed hook export problem
...
svn: r8960
2008-03-12 19:20:44 +00:00
Eli Barzilay
b76390a452
revise the way setup-plt crawls over the collection trees
...
svn: r8860
2008-03-03 22:04:28 +00:00
Eli Barzilay
9283d92264
typos
...
svn: r8855
2008-03-03 06:04:03 +00:00
Eli Barzilay
b1a08edd5a
use new require specs in many places
...
svn: r8774
2008-02-23 09:42:03 +00:00
John Clements
f851905ba1
typo
...
svn: r8732
2008-02-19 21:03:04 +00:00
John Clements
0103f9a4d4
changed square bracket to curly to allow compilation
...
svn: r8728
2008-02-19 18:12:15 +00:00
Eli Barzilay
87dd133746
more fixes
...
svn: r8722
2008-02-19 13:25:23 +00:00
Eli Barzilay
d5f3d8e440
leftover
...
svn: r8721
2008-02-19 12:39:23 +00:00
Eli Barzilay
5937a488ea
* removed useless name from info
...
* docs build into user-specific directory so they're not a problem
with not including this in the distribution.
* misc doc improvements
* renamed handin-server.ss to main.ss
* basic operation is fine with v4
svn: r8716
2008-02-19 08:27:09 +00:00
Eli Barzilay
0f99e937fd
many imrovements
...
svn: r8706
2008-02-18 19:44:13 +00:00
Eli Barzilay
9c77909710
use @verbatim{...}
...
svn: r8699
2008-02-18 10:49:20 +00:00
John Clements
ee52cafdf8
added scribble docs
...
svn: r8686
2008-02-16 10:23:16 +00:00
Eli Barzilay
699c40643d
* Changed setup-plt to compile collections if they have an "info.ss"
...
file. (That is, it does not require the file to have a `name'
entry.)
* The name shown when setup works is the directory name, followed by
the `name' field from the info file when specified.
* This means that many `name's are no longer needed, so I'm removing
them. To see if you need a `name' entry, consider that the name
will be shown like this:
... foo (<your name here>)
This means that if the name is the same as the directory name, then
there is no point in having it. I also removed cases where the name
differed only in its capitalization for collections where the case
is obvious.
* Also, for subcollections, the name should clarify the name of the
subcollection in context. For example "Acknowledgments" explains
what scribbling/acks is, but there's no need to add the context name
as in "Scribblings: Acknowledgments".
* There may also be a point in keeping names for other uses. One such
example was in games, where the name field was used in the PLT Games
application. (This was changed to default on the directory name, so
it is no longer needed in most games.) Another example is in planet
packages.
svn: r8629
2008-02-12 10:33:01 +00:00
Eli Barzilay
3c72e71e24
switched info.ss files to #lang
...
svn: r8532
2008-02-04 23:00:35 +00:00
Eli Barzilay
59b5f3a727
removed unused doc.txt entries from info.ss files
...
svn: r8529
2008-02-04 20:31:04 +00:00
Matthew Flatt
39cedb62ed
v3.99.0.2
...
svn: r7706
2007-11-13 12:40:00 +00:00
Eli Barzilay
233d148a56
fix sandbox settings (global, not local to first thread)
...
svn: r7515
2007-10-17 03:07:31 +00:00
Eli Barzilay
a0872ee5ed
remove accidental debugging line
...
svn: r7418
2007-09-27 02:32:57 +00:00
Eli Barzilay
e0e9e18091
dont normalize the file path, so its ok to use a symlink for the solution file (pointing to a file that cannot be retrieved by itself)
...
svn: r7417
2007-09-27 02:32:10 +00:00