Commit Graph

5596 Commits

Author SHA1 Message Date
Eli Barzilay
eda498ed24 Welcome to a new PLT day.
svn: r7601
2007-11-01 07:50:03 +00:00
Matthew Flatt
07d9a8130b fix hash-table pretty printing when the value part of a mapping is a pair
svn: r7600
2007-10-31 11:25:00 +00:00
Eli Barzilay
8db0f66ef3 Welcome to a new PLT day.
svn: r7599
2007-10-31 07:50:03 +00:00
Mike Sperber
b456d36b73 Move the "show-lambdas-as-lambdas" language-specific parameter to
the stepper into stepper-language<%>.

svn: r7598
2007-10-31 07:06:54 +00:00
Ryan Culpepper
2d59128e59 Macro stepper: navigation preserves visible line range
svn: r7596
2007-10-30 22:02:17 +00:00
Matthew Flatt
52c91eb786 better choice of namespace in Scribble setup
svn: r7594
2007-10-30 11:29:30 +00:00
Eli Barzilay
79f68a169f Welcome to a new PLT day.
svn: r7593
2007-10-30 07:50:03 +00:00
Philippe Meunier
24b16ff685 misc
svn: r7592
2007-10-30 07:02:02 +00:00
Robby Findler
359196ae82 improved contract libraries handling of #%app for provide/contract'd variables
svn: r7590
2007-10-29 21:07:43 +00:00
John Clements
366dc3551a changed name (& sign) of track-inferred-names? to show-lambdas-as-lambdas?
svn: r7589
2007-10-29 20:55:39 +00:00
Eli Barzilay
fa07c5a9e9 Welcome to a new PLT day.
svn: r7588
2007-10-29 07:50:02 +00:00
Robby Findler
3724e47d0c possible fix to PR 9204
svn: r7587
2007-10-29 02:28:30 +00:00
Eli Barzilay
697957e60a Welcome to a new PLT day.
svn: r7583
2007-10-28 07:50:03 +00:00
Jacob Matthews
c161c7f958 Fix error reported by Sam
svn: r7580
2007-10-27 21:36:23 +00:00
Kathy Gray
05e2b658ef Correction to bug 9022
svn: r7579
2007-10-27 19:14:13 +00:00
Eli Barzilay
98a526fd41 Welcome to a new PLT day.
svn: r7577
2007-10-27 07:50:03 +00:00
Matthias Felleisen
8c3845a768 some first scribblings for teachpacks
svn: r7575
2007-10-26 21:58:57 +00:00
Eli Barzilay
b88befc428 Welcome to a new PLT day.
svn: r7571
2007-10-26 07:50:02 +00:00
Matthew Flatt
1ea6ddc9e9 use mzconfig in Xpm to detect 64-bit longs
svn: r7564
2007-10-25 15:31:15 +00:00
Eli Barzilay
e17311c4eb Welcome to a new PLT day.
svn: r7562
2007-10-25 07:50:05 +00:00
Eli Barzilay
bebfcdf3a2 Welcome to a new PLT day.
svn: r7560
2007-10-24 07:50:02 +00:00
Scott Owens
1ac34cb8a0 A new backward paren matcher that should be faster when doing multiple queries
between modifications.  This change speeds up multi-line indenting when not
many of the lines need to move.

svn: r7554
2007-10-23 11:46:02 +00:00
Eli Barzilay
23b58b5308 Welcome to a new PLT day.
svn: r7553
2007-10-23 07:50:03 +00:00
Jay McCarthy
bcaec9358f typo via atm
svn: r7551
2007-10-22 13:19:10 +00:00
Eli Barzilay
4a04981f1c Welcome to a new PLT day.
svn: r7549
2007-10-22 07:50:03 +00:00
Robby Findler
018bc0e8f6 removed extraneous requires
svn: r7548
2007-10-21 22:57:12 +00:00
Eli Barzilay
ae148e66c4 Welcome to a new PLT day.
svn: r7547
2007-10-21 07:50:02 +00:00
Matthias Felleisen
75b33996b1 AColor went to IColor
svn: r7541
2007-10-20 17:47:27 +00:00
Eli Barzilay
9a0ec1c0bf Welcome to a new PLT day.
svn: r7540
2007-10-20 07:50:03 +00:00
Matthew Flatt
4c61e1ad1d chinese string-constant updates from Chongkai
svn: r7538
2007-10-20 03:32:17 +00:00
Matthew Flatt
69f54b79bd sefi-64 patch from Chongkai
svn: r7537
2007-10-20 03:29:55 +00:00
Kathy Gray
9b78e7aa24 Correction to stmt-expr grammar
svn: r7534
2007-10-19 22:27:09 +00:00
Robby Findler
748dc9d527 complete fix for PR 8986
svn: r7532
2007-10-19 18:00:16 +00:00
Matthew Flatt
6e06235c69 fix namespace-require to import for-syntax/for-label provides
svn: r7530
2007-10-19 16:56:59 +00:00
Robby Findler
e843842c70 probable fix to PR 8986
svn: r7529
2007-10-19 16:55:38 +00:00
Eli Barzilay
c1f3be1c90 Welcome to a new PLT day.
svn: r7528
2007-10-19 07:50:03 +00:00
Robby Findler
81e5a24390 fix to PR 8900
svn: r7526
2007-10-18 22:12:59 +00:00
Matthias Felleisen
012895cbfe rewrote world.ss; it had gotten out of sync with code
svn: r7523
2007-10-18 14:36:24 +00:00
Eli Barzilay
e20126af45 Welcome to a new PLT day.
svn: r7521
2007-10-18 07:50:02 +00:00
Matthew Flatt
5cc2029a1f fix bugs (discovered in v4.0 branch) with #lang and provide-for-syntax
svn: r7520
2007-10-17 23:12:28 +00:00
Mike Sperber
78b890a298 Synch with latest.
svn: r7517
2007-10-17 08:03:25 +00:00
Eli Barzilay
b9e5f45ff4 Welcome to a new PLT day.
svn: r7516
2007-10-17 07:50:03 +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
acaaf27d78 minutes, not seconds
svn: r7514
2007-10-17 02:42:07 +00:00
Matthias Felleisen
26b709352f typo in world.thtml
svn: r7512
2007-10-16 17:48:58 +00:00
Matthew Flatt
ac85e14527 fix planet require of random.plt
svn: r7511
2007-10-16 16:09:22 +00:00
Robby Findler
369d4d0749 fixed PR 8997
svn: r7510
2007-10-16 13:39:56 +00:00
Eli Barzilay
b6f5836122 typo
svn: r7508
2007-10-16 12:19:15 +00:00
Eli Barzilay
16d4041837 Welcome to a new PLT day.
svn: r7507
2007-10-16 07:50:03 +00:00
Jacob Matthews
a4c853d32a Adding a few helpers that let packages know their names and version numbers
svn: r7506
2007-10-16 00:29:53 +00:00