Commit Graph

3200 Commits

Author SHA1 Message Date
Eli Barzilay
6c1d24e815 Welcome to a new PLT day.
svn: r5634
2007-02-18 08:50:05 +00:00
Robby Findler
38da856255 added language status and menu at bottom right of drscheme window
svn: r5633
2007-02-18 00:17:49 +00:00
Chongkai Zhu
144796ec6d read/write
svn: r5632
2007-02-17 23:50:55 +00:00
Robby Findler
d59f197c05 adjusted translations for read/write two line thing
svn: r5631
2007-02-17 21:10:59 +00:00
Robby Findler
d83826c513 change to match recent commit by me (should have been in that commit)
svn: r5630
2007-02-17 20:13:01 +00:00
Robby Findler
f24381c8b6 shrunk space required for stuff
svn: r5629
2007-02-17 19:30:58 +00:00
Eli Barzilay
5387c758f2 added test for u8vector items
svn: r5628
2007-02-17 15:23:49 +00:00
Mike Sperber
79ac9d31b5 Synch with latest.
svn: r5627
2007-02-17 10:04:52 +00:00
Eli Barzilay
5766958439 Welcome to a new PLT day.
svn: r5626
2007-02-17 08:50:03 +00:00
Eli Barzilay
5e4799a4fe Welcome to a new PLT day.
svn: r5622
2007-02-16 08:50:03 +00:00
Eli Barzilay
492733aa40 make-cvector with 0 args
svn: r5619
2007-02-15 20:39:17 +00:00
Eli Barzilay
e488422b1c Welcome to a new PLT day.
svn: r5618
2007-02-15 08:50:03 +00:00
Matthew Flatt
d191d764be extra notes on examples
svn: r5617
2007-02-15 08:18:18 +00:00
Matthew Flatt
41f7592c11 gradually typed functional honu
svn: r5616
2007-02-15 08:14:18 +00:00
Matthew Flatt
7a48da5797 ideas for honu tests
svn: r5613
2007-02-15 07:48:43 +00:00
Robby Findler
4379aa3f05 fixed a bug in the new stuff
svn: r5606
2007-02-15 01:31:06 +00:00
Matthew Flatt
bf84c30c55 fix -h text
svn: r5605
2007-02-15 00:03:00 +00:00
Robby Findler
3c3d848324 added module language recognition into the mix
svn: r5604
2007-02-14 23:42:42 +00:00
Robby Findler
e3776e5476 added 'module' wrapper for saved files in the teaching languages (and support for that in the drscheme:language:language<%> interface)
svn: r5602
2007-02-14 23:23:32 +00:00
Robby Findler
94c1702b56 added a few things
svn: r5601
2007-02-14 23:21:12 +00:00
Eli Barzilay
7e4bf3272b Welcome to a new PLT day.
svn: r5598
2007-02-14 08:50:03 +00:00
Matthew Flatt
4b765cfa5a 369.8
svn: r5594
2007-02-14 02:41:49 +00:00
Matthew Flatt
3f384b343c fix object header to use Scheme_Object instead of Scheme_Type
svn: r5593
2007-02-14 01:43:51 +00:00
Eli Barzilay
295cb947f5 Welcome to a new PLT day.
svn: r5592
2007-02-13 08:50:03 +00:00
Matthew Flatt
3b966ff86b contract checks on {start,end}-{doc,page} use
svn: r5591
2007-02-13 02:08:04 +00:00
Jay McCarthy
e3394a5cf5 welsh
svn: r5590
2007-02-12 14:43:53 +00:00
Eli Barzilay
26e5b8012a Welcome to a new PLT day.
svn: r5589
2007-02-12 08:50:04 +00:00
Eli Barzilay
9d8cc6f55f Welcome to a new PLT day.
svn: r5587
2007-02-11 08:50:03 +00:00
Eli Barzilay
65aee6d210 Welcome to a new PLT day.
svn: r5586
2007-02-10 08:50:03 +00:00
Ryan Culpepper
204516bad9 Macro stepper: factored derivation synthesis code into separate module
svn: r5585
2007-02-10 03:46:12 +00:00
Ryan Culpepper
64695b46d8 Macro stepper: working on jump-to (incomplete)
svn: r5584
2007-02-10 03:25:36 +00:00
Ryan Culpepper
94ee28f1d5 Macro stepper: fixed internal error
svn: r5583
2007-02-09 18:21:10 +00:00
Ryan Culpepper
8dcb486305 Macro stepper: again, tweaked error message text
svn: r5581
2007-02-09 09:52:54 +00:00
Ryan Culpepper
b16ccdb563 Macro stepper: clarified msgbox title for internal hiding error
svn: r5580
2007-02-09 09:50:49 +00:00
Eli Barzilay
89bcea0a46 Welcome to a new PLT day.
svn: r5579
2007-02-09 08:50:03 +00:00
Ryan Culpepper
ca3c367aab Macro stepper:
fixed bugs re: internal define-syntax
  de-unitized hiding again, disabled extra navigation for now
  fixed bug in letrec-syntaxes w/o var bindings
  fixed bugs in block splicing
  distinguished booleans and keywords in syntax browser

svn: r5578
2007-02-09 08:27:02 +00:00
Robby Findler
ad634b20c5 removed crashing bug from copy/paste but there are still problems
svn: r5577
2007-02-08 23:33:16 +00:00
Robby Findler
276cd746df added revert to defaults
svn: r5575
2007-02-08 15:45:12 +00:00
Eli Barzilay
63a716f92f Welcome to a new PLT day.
svn: r5574
2007-02-08 08:50:04 +00:00
Kathy Gray
5503e79355 Adding more testing support
svn: r5571
2007-02-08 00:20:48 +00:00
Eli Barzilay
51dc8cb94a Welcome to a new PLT day.
svn: r5570
2007-02-07 08:50:03 +00:00
Robby Findler
a1c88e3ac2 fixed PR 8518
svn: r5566
2007-02-06 18:17:39 +00:00
Robby Findler
0c1dbe24dd latest from Paulo J. Matos
svn: r5565
2007-02-06 15:56:21 +00:00
Jay McCarthy
5b987feeb4 dyoo url-path->path
svn: r5563
2007-02-06 15:02:43 +00:00
Kathy Gray
a32a36453a Corrections to bugs 8517 and 8223
svn: r5562
2007-02-06 14:49:03 +00:00
Jay McCarthy
bb1f188642 pr8515
svn: r5561
2007-02-06 14:46:06 +00:00
Eli Barzilay
970a05a066 Welcome to a new PLT day.
svn: r5560
2007-02-06 08:50:03 +00:00
Matthew Flatt
44623776c0 fix err-msg test
svn: r5559
2007-02-06 07:46:43 +00:00
Matthew Flatt
2007843ba4 add new command-line arguments: -p, -P, -Q
svn: r5557
2007-02-06 05:14:34 +00:00
Matthew Flatt
6325a359f0 fix drag-all-under mode in cards, and add some missing resize-box separators
svn: r5556
2007-02-06 05:11:55 +00:00