Matthew Flatt
|
c09b9baae8
|
fix stxparam bug (from Olin via Sam)
svn: r11304
|
2008-08-18 22:19:18 +00:00 |
|
Jay McCarthy
|
972128abf0
|
Fixing a format bug
svn: r11303
|
2008-08-18 22:11:08 +00:00 |
|
Eli Barzilay
|
dd870c3d30
|
improved cm
svn: r11301
|
2008-08-18 21:46:16 +00:00 |
|
Robby Findler
|
5895bf4c35
|
where clauses in metafunctions now are in 'term'
svn: r11300
|
2008-08-18 21:23:56 +00:00 |
|
Eli Barzilay
|
f6a754c48a
|
Added Geoffrey S. Knauth
svn: r11299
|
2008-08-18 21:14:20 +00:00 |
|
Jay McCarthy
|
119ea76ad6
|
Adding HTTPS to tutorial
svn: r11298
|
2008-08-18 14:47:35 +00:00 |
|
Jay McCarthy
|
4072ecbacc
|
Doc improvements and tutorial bug fix
svn: r11297
|
2008-08-18 14:34:55 +00:00 |
|
Jay McCarthy
|
0dcee6d678
|
This might be part of the build problem
svn: r11296
|
2008-08-18 14:10:25 +00:00 |
|
Eli Barzilay
|
0782e09426
|
Welcome to a new PLT day.
svn: r11295
|
2008-08-18 07:50:12 +00:00 |
|
Eli Barzilay
|
9665340278
|
Welcome to a new PLT day.
svn: r11294
|
2008-08-17 07:50:18 +00:00 |
|
Matthias Felleisen
|
729fe8a286
|
world and key=?
svn: r11293
|
2008-08-16 15:24:58 +00:00 |
|
Eli Barzilay
|
a8407bdfb6
|
remove duplicate dependencies
svn: r11292
|
2008-08-16 01:21:51 +00:00 |
|
Eli Barzilay
|
0dc50ad667
|
svn: r11291
|
2008-08-16 01:17:50 +00:00 |
|
Danny Yoo
|
8e5b38e1ba
|
fixing small typo
svn: r11290
|
2008-08-15 20:39:13 +00:00 |
|
Robby Findler
|
f1fc312176
|
added Matthew
svn: r11289
|
2008-08-15 20:25:58 +00:00 |
|
Matthew Flatt
|
d1c1af8f84
|
fix 'author' spec
svn: r11288
|
2008-08-15 20:19:42 +00:00 |
|
Matthew Flatt
|
9453aaaccf
|
assign authors to manuals
svn: r11287
|
2008-08-15 20:16:06 +00:00 |
|
Jay McCarthy
|
42ca979abd
|
Detecting the lack of a start proc
svn: r11286
|
2008-08-15 20:07:12 +00:00 |
|
Danny Yoo
|
5d9410c058
|
Adjusted indentation.
svn: r11285
|
2008-08-15 20:04:57 +00:00 |
|
Danny Yoo
|
cd03bb635e
|
Renaming the file to avoid a potential issue with the lingering the-blog-data.db from iteration 9 interfering with iteration 10.
svn: r11284
|
2008-08-15 20:04:50 +00:00 |
|
Danny Yoo
|
0a29d55875
|
Removing uses of lambda in the web-server tutorial.
svn: r11283
|
2008-08-15 20:04:44 +00:00 |
|
Jay McCarthy
|
d101ba38fe
|
Reverting unfinished code
svn: r11282
|
2008-08-15 19:44:37 +00:00 |
|
Jay McCarthy
|
d4b04e3499
|
Whoops
svn: r11281
|
2008-08-15 19:43:09 +00:00 |
|
Jay McCarthy
|
0166bcbfe0
|
Simplifying last section and fixing Dannys bug
svn: r11280
|
2008-08-15 19:32:10 +00:00 |
|
Jay McCarthy
|
0936793b19
|
Adding FAQs
svn: r11279
|
2008-08-15 19:17:00 +00:00 |
|
Danny Yoo
|
0201db131c
|
adding links, correcting typo
svn: r11278
|
2008-08-15 19:04:05 +00:00 |
|
Jay McCarthy
|
533ba8f173
|
Improving cont serialization and s/s/d
svn: r11277
|
2008-08-15 18:49:52 +00:00 |
|
Danny Yoo
|
b9d99f69fa
|
web-server tutorial: mentioned our use of the base scheme language for the model.
svn: r11276
|
2008-08-15 18:49:31 +00:00 |
|
Danny Yoo
|
2d7ace4a19
|
Adding more explanation on using provide.
svn: r11275
|
2008-08-15 18:49:25 +00:00 |
|
Danny Yoo
|
72915b1bbd
|
Trying to check for missing start identifier.
svn: r11274
|
2008-08-15 18:17:23 +00:00 |
|
Matthew Flatt
|
9ecece65d7
|
place patches from Kevin
svn: r11273
|
2008-08-15 15:59:39 +00:00 |
|
Matthew Flatt
|
b58081fe3a
|
fix --enable-places
svn: r11272
|
2008-08-15 15:49:50 +00:00 |
|
Jay McCarthy
|
d4d703420d
|
Adding SQL section
svn: r11271
|
2008-08-15 15:07:47 +00:00 |
|
Eli Barzilay
|
940de216f0
|
Welcome to a new PLT day.
svn: r11270
|
2008-08-15 07:50:09 +00:00 |
|
Robby Findler
|
e0edc70215
|
svn: r11269
|
2008-08-15 04:11:31 +00:00 |
|
Matthew Flatt
|
448b47a953
|
fix hash-table reset when the table is shrunk
svn: r11268
|
2008-08-15 03:18:00 +00:00 |
|
Matthew Flatt
|
d01479b5e4
|
fix log-reader syncing
svn: r11267
|
2008-08-15 02:12:45 +00:00 |
|
Jay McCarthy
|
e3877dbf0f
|
Error
svn: r11266
|
2008-08-14 22:53:03 +00:00 |
|
Matthew Flatt
|
2e0c6444f9
|
optional arguments as an alternative to parameters for render-language, language->pict, render-reduction-relation, and reduction-relation->pict
svn: r11265
|
2008-08-14 22:42:32 +00:00 |
|
Jay McCarthy
|
f533538e28
|
Correct server shutdown code
svn: r11264
|
2008-08-14 22:34:19 +00:00 |
|
Jay McCarthy
|
2de03c406f
|
Just in case
svn: r11263
|
2008-08-14 22:30:30 +00:00 |
|
Jay McCarthy
|
4ebebec089
|
Adding the tutorial.
svn: r11262
|
2008-08-14 22:27:57 +00:00 |
|
Jay McCarthy
|
f4c71424f4
|
bug related to servlet-env mod
svn: r11261
|
2008-08-14 22:16:03 +00:00 |
|
Robby Findler
|
070b321558
|
added render-lw
svn: r11255
|
2008-08-14 21:22:26 +00:00 |
|
Matthew Flatt
|
32729b8ae8
|
fix docs to indicate that datum->syntax and syntax->datum recur through immutable prefab structures
svn: r11253
|
2008-08-14 21:04:01 +00:00 |
|
Jay McCarthy
|
aeb26ea4d2
|
Documentation links
svn: r11251
|
2008-08-14 20:56:48 +00:00 |
|
Jay McCarthy
|
79928d9cb6
|
Adding HTTPS documentation
svn: r11250
|
2008-08-14 20:54:16 +00:00 |
|
Jay McCarthy
|
9e20ad7c46
|
In response to the tutorial thread, I've merge in plai/web and instaservlet into the main repository. web-server/servlet-env can now provide most of the instaservlet functionality. web-server/insta provides the functionality of plai/web, inconcert with web-server/servlet-env. managers/lru is more useful with a default threshold-based manager. The default error handling is that of plai/web.
svn: r11246
|
2008-08-14 19:45:35 +00:00 |
|
Robby Findler
|
5ebff2fd07
|
now exporting white-bracket-sizing.... (duh)
svn: r11245
|
2008-08-14 19:10:21 +00:00 |
|
Robby Findler
|
b70cd4151a
|
removed last vestiges of multi-arg metafunctions and fixed a bug in the way white brackets were rendered
svn: r11244
|
2008-08-14 18:39:49 +00:00 |
|