suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
4,178 Commits 17 Branches 54 Tags 278 MiB
7edb71816f
Commit Graph

3409 Commits

Author SHA1 Message Date
Eli Barzilay
68799a5373 Welcome to a new PLT day. 
svn: r5647
 2007-02-20 08:50:03 +00:00
Robby Findler
53987c5ee8 fixed the yellow stuff in a corner case 
svn: r5644
 2007-02-20 03:16:50 +00:00
Robby Findler
c9303285d2 improved performance of the inital is-this-a-module check (also works around a bug) 
svn: r5643
 2007-02-20 02:32:50 +00:00
Matthew Flatt
3b10623bad tests for mz and port.ss repairs 
svn: r5641
 2007-02-20 01:42:25 +00:00
Matthew Flatt
dff013afc5 fix port functions to use byte-ready? instead of char-ready? 
svn: r5640
 2007-02-20 01:42:03 +00:00
Jacob Matthews
844ed2d48f changed planet search order, now uninstalled packages are only consulted if an attempt to download from the network fails. 
svn: r5638
 2007-02-19 23:30:37 +00:00
Robby Findler
c2e4fcd60d revert to default button: minor tweaks 
svn: r5637
 2007-02-19 22:08:04 +00:00
Eli Barzilay
0da9774511 Welcome to a new PLT day. 
svn: r5636
 2007-02-19 08:50:04 +00:00
Robby Findler
6f631ae7b7 added yellow to programming language label 
svn: r5635
 2007-02-18 17:59:22 +00:00
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
Robby Findler
f0d91dff14 fixed PR 8516 
svn: r5554
 2007-02-05 23:21:09 +00:00
Robby Findler
bdc4f19985 tabber: an ellipsis as the second thing on a line now tabs as if the ellipsis wasn't there; good for plt redex 
svn: r5553
 2007-02-05 19:25:25 +00:00
Eli Barzilay
73d0e1ca10 Welcome to a new PLT day. 
svn: r5551
 2007-02-05 08:50:18 +00:00
Chongkai Zhu
4a64bbfeaa update 
svn: r5549
 2007-02-04 00:17:04 +00:00
Matthew Flatt
126ff2a91a improve parallel testing 
svn: r5548
 2007-02-03 22:15:36 +00:00
Eli Barzilay
40c6593a36 Welcome to a new PLT day. 
svn: r5547
 2007-02-03 08:50:04 +00:00
Eli Barzilay
0cb9b70922 set svn:eol-style and added newlines at EOFs 
svn: r5546
 2007-02-03 06:51:31 +00:00
Eli Barzilay
b11d6c4ae9 midsing newline 
svn: r5545
 2007-02-03 02:47:11 +00:00
Ryan Culpepper
c4c5d6cd13 Macro stepper: eliminated (unneeded) synchronization from tracing 
svn: r5544
 2007-02-02 19:56:03 +00:00
Ryan Culpepper
d426019579 Macro stepper: fixed syntax-snip read-special 
svn: r5543
 2007-02-02 19:30:19 +00:00
Ryan Culpepper
432d5349eb Macro stepper: changed out-of-colors color 
svn: r5542
 2007-02-02 19:29:03 +00:00
Eli Barzilay
b04f768c88 Welcome to a new PLT day. 
svn: r5541
 2007-02-02 08:50:03 +00:00
Robby Findler
e5895cd76a whoops! forgot to add preferences.ss in 
svn: r5540
 2007-02-02 04:58:57 +00:00
Matthias Felleisen
53febf1984 applied Carl's patches 
svn: r5539
 2007-02-02 02:08:45 +00:00
Robby Findler
13110a2113 separated preferences library out to be used by mz 
svn: r5537
 2007-02-01 23:55:20 +00:00
Ryan Culpepper
679bd4e30c Macro stepper: cosmetic changes, new interface (stub) 
svn: r5536
 2007-02-01 23:19:44 +00:00
Ryan Culpepper
2f4e4df213 Macro stepper: nicer looking syntax snip props view 
svn: r5535
 2007-02-01 23:18:19 +00:00
Ryan Culpepper
8ac1fe54e1 Macro stepper: 
syntax snips display properties inline
  changed read-special to use procedures instead of promises

svn: r5534
 2007-02-01 23:10:38 +00:00
Eli Barzilay
f9b5e1e21d Welcome to a new PLT day. 
svn: r5533
 2007-02-01 08:50:03 +00:00
Matthew Flatt
482596754b change binary-tree to maybe correctly match the rules 
svn: r5532
 2007-02-01 07:02:00 +00:00
Matthew Flatt
04621493ad benchmark impl. is not actually based on the Ruby version 
svn: r5531
 2007-02-01 06:15:46 +00:00
Matthew Flatt
26766f9cfa fixed yet another race condition in a test 
svn: r5530
 2007-02-01 06:03:02 +00:00
Jacob Matthews
1ecaecbd99 make a line to uncomment to switch to coach 
svn: r5529
 2007-02-01 02:57:01 +00:00
Jacob Matthews
e5a39eeee0 . 
svn: r5528
 2007-02-01 02:49:27 +00:00
Jacob Matthews
92535627a5 fixed erroneous grammar production for specs 
svn: r5527
 2007-02-01 02:45:27 +00:00
Matthew Flatt
ba2c163558 remove stray reference to eli-debug.ss 
svn: r5526
 2007-02-01 02:11:23 +00:00
Matthew Flatt
778d4d5472 fix another race condition in a test case 
svn: r5525
 2007-02-01 01:39:22 +00:00
John Clements
05bdd7e0c5 support for begin0. Whew. 
svn: r5522
 2007-02-01 00:18:42 +00:00
Matthew Flatt
6caa70e84b can now use make-file-or-directory-link instead of cp -a 
svn: r5521
 2007-01-31 23:20:03 +00:00
Eli Barzilay
ad2d4cc775 Welcome to a new PLT day. 
svn: r5518
 2007-01-31 08:50:04 +00:00
Robby Findler
81ce545d63 added define-opt/c 
svn: r5515
 2007-01-31 01:12:19 +00:00
Matthew Flatt
0610ffdd41 avoid excessive allocation for 64-bit machines in make-string/make-bytes tests 
svn: r5514
 2007-01-31 00:33:38 +00:00
Ryan Culpepper
25740b3224 Macro stepper: fixed prefix refresh on hiding policy change 
svn: r5512
 2007-01-30 22:37:20 +00:00
Ryan Culpepper
d76d947d93 Macro stepper: internal debugging improvements 
svn: r5511
 2007-01-30 22:32:21 +00:00
Ryan Culpepper
3b3954c1f8 Macro stepper: moved buttons out from under grow-box (thx Robby) 
svn: r5510
 2007-01-30 21:38:01 +00:00
Mike Sperber
b47ca09dc5 Add some missing calls to `normalize-path'. 
svn: r5509
 2007-01-30 19:01:56 +00:00
Eli Barzilay
59a3c3ca7d Welcome to a new PLT day. 
svn: r5508
 2007-01-30 08:50:02 +00:00
Matthew Flatt
bfc693c063 369.7 
svn: r5506
 2007-01-30 06:34:05 +00:00
Robby Findler
de59204fa5 some cleanup 
svn: r5503
 2007-01-30 00:54:23 +00:00
Kathy Gray
8eee6a0298 svn: r5501 2007-01-29 17:05:18 +00:00
Matthew Flatt
74f94b755e add attribution 
svn: r5500
 2007-01-29 14:01:29 +00:00
Matthew Flatt
69fcdd2d14 add another missing benchmark 
svn: r5499
 2007-01-29 14:00:47 +00:00
Matthew Flatt
a5b490ae35 build in memcmp as a non-gcing function for xform 
svn: r5498
 2007-01-29 13:12:45 +00:00
Matthew Flatt
277fad6c1f fix benchmark name 
svn: r5497
 2007-01-29 12:59:11 +00:00
Matthew Flatt
052e2c3896 implement missing bm 
svn: r5496
 2007-01-29 12:57:08 +00:00
Eli Barzilay
495ec85d97 Welcome to a new PLT day. 
svn: r5495
 2007-01-29 08:50:03 +00:00
Matthew Flatt
808e37bfc3 no more gmzc 
svn: r5494
 2007-01-29 06:25:21 +00:00
Eli Barzilay
8dde1e2c69 bugfix 
svn: r5491
 2007-01-29 01:57:48 +00:00
Eli Barzilay
a742c67ab6 really solve the cycle, show config only when *re*loading 
svn: r5489
 2007-01-29 01:36:29 +00:00
Eli Barzilay
aa685ff9c4 break cycle 
svn: r5488
 2007-01-29 01:28:11 +00:00
Eli Barzilay
7bf793352c log lines when reloading modules or configuration 
svn: r5487
 2007-01-29 01:16:04 +00:00
Robby Findler
7ab052ebb9 fixed a bug 
svn: r5485
 2007-01-28 15:25:46 +00:00
Robby Findler
e14bd3c636 fixed PR 8503 
svn: r5484
 2007-01-28 14:37:56 +00:00
Eli Barzilay
d9f93ce15c Welcome to a new PLT day. 
svn: r5483
 2007-01-28 08:50:03 +00:00
Robby Findler
9a40891fd6 fixed some bugs Matthias found 
svn: r5482
 2007-01-28 03:14:21 +00:00
Robby Findler
4ad8fdadea merged the opt/c changes back into the trunk (finally!) 
svn: r5481
 2007-01-28 02:54:16 +00:00
Matthew Flatt
e911124dbf fix var registration in the presence of setjmp 
svn: r5479
 2007-01-27 22:54:38 +00:00
Ryan Culpepper
043c5e3d8c Macro stepper: fixed another foci type bug 
svn: r5477
 2007-01-27 19:18:28 +00:00
Robby Findler
c88dd61348 another fix for PR 8502 
svn: r5476
 2007-01-27 14:08:39 +00:00
Mike Sperber
8dc4f3aa69 Synch with latest. 
svn: r5475
 2007-01-27 13:42:07 +00:00
Eli Barzilay
981928e7a6 Welcome to a new PLT day. 
svn: r5474
 2007-01-27 08:50:02 +00:00
Robby Findler
84e9f499dd fixed PR 8502 
svn: r5473
 2007-01-27 05:06:39 +00:00
Matthew Flatt
f31128cf11 fix bad attempt to speed up rational comparisons, as well as th egap in the test suite 
svn: r5472
 2007-01-27 01:40:58 +00:00
Ryan Culpepper
ef1f77c33f Macro stepper: 
cleaned up representation of big (localaction) contexts
  unitized hiding impl
  added (broken/experimental) navigation tools (jump, zoom)

svn: r5468
 2007-01-26 19:53:55 +00:00
Ryan Culpepper
c7b622c537 Macro stepper: fixed old error message for clarity 
svn: r5467
 2007-01-26 19:52:05 +00:00
Ryan Culpepper
8c8e0d36e7 Macro stepper: fixed bug in error steps (foci) 
svn: r5466
 2007-01-26 18:23:57 +00:00
Kathy Gray
10558df5dd Corrected bug 8501 
svn: r5465
 2007-01-26 13:39:39 +00:00
Eli Barzilay
b8cdb7afab Welcome to a new PLT day. 
svn: r5464
 2007-01-26 08:50:03 +00:00
Eli Barzilay
2698bf52fb * checker modules are reloaded when the file changes, so there is no 
longer any need to restart the server.
* Added a 'hook-file option that specifies a module providing a
  generic hook.  Useful for notifications when important things
  happen, but can be used for anything.  Reloaded on change too.

svn: r5463
 2007-01-26 06:51:36 +00:00
Ryan Culpepper
f9dfebefa3 Macro stepper: added support for extra nav tools (zoom, jump) but disabled 
svn: r5461
 2007-01-25 19:20:44 +00:00
Ryan Culpepper
3fe785014a Macro stepper: minor bug fix 
svn: r5460
 2007-01-25 19:16:14 +00:00
Eli Barzilay
0bd80179b6 Welcome to a new PLT day. 
svn: r5456
 2007-01-25 08:50:03 +00:00
Matthew Flatt
e7cc73c1cf hack to experiment with disabling contracts 
svn: r5454
 2007-01-25 06:20:22 +00:00
Matthew Flatt
105339ed2e field name mismatch in provide/contract (not sure why it isn't a syntax error) 
svn: r5453
 2007-01-25 06:19:57 +00:00
Matthew Flatt
a746e33058 improved test for non-conversion 
svn: r5452
 2007-01-25 06:19:00 +00:00
Ryan Culpepper
cf3da5cf7d Macro stepper: show/hide props reflows syntax display 
svn: r5451
 2007-01-25 05:11:05 +00:00
Ryan Culpepper
9774e0926d Changes to macro stepper (internal): 
refactored context rep in steps to retain frame structure
  fixed bug in syntax-restamp (bogus template, broke colors)
    needs revisiting

svn: r5450
 2007-01-25 00:32:29 +00:00
Eli Barzilay
952a50906c check that we did not have any skipped values in wrap-evaluator 
svn: r5449
 2007-01-24 19:01:41 +00:00
Eli Barzilay
7c253a2dcf typo 
svn: r5448
 2007-01-24 09:53:42 +00:00
Eli Barzilay
4ace2dd971 Welcome to a new PLT day. 
svn: r5447
 2007-01-24 08:50:03 +00:00
Eli Barzilay
9673f7e703 removed the tweaker hack for a solution that creates a new exception 
svn: r5446
 2007-01-24 07:52:51 +00:00
Matthew Flatt
4511f58d0c fix some error handling and support for short-lived UTF-32 string encoding 
svn: r5445
 2007-01-24 06:53:08 +00:00
Matthew Flatt
272980489c avoid chains of derived-from-... names (due to previous attempt at fixing the string vs. symbol problem) 
svn: r5444
 2007-01-24 02:37:01 +00:00
Matthew Flatt
c0c04fb2fc make derived-from-... name a symbol in a class record 
svn: r5443
 2007-01-24 02:34:38 +00:00
Matthew Flatt
6bf1ad9c2b fix default name in Create Executable dialog 
svn: r5440
 2007-01-23 21:21:43 +00:00
Eli Barzilay
fba4f23c3b * Added `sandbox-override-collection-paths' to allow a local library overrides 
* Added a `overridden-collects' direectory 
* Forbid `exit' from use code
* Note about stderr not being redirected

svn: r5439
 2007-01-23 20:18:16 +00:00
Robby Findler
9bcd4aafe7 fix for PR 8496 
svn: r5438
 2007-01-23 20:02:05 +00:00
Chongkai Zhu
69a6c8a5cb new Chinese string constants 
svn: r5437
 2007-01-23 15:00:55 +00:00
Eli Barzilay
a5d01f9c3a respect set!-transformers in setf! 
svn: r5436
 2007-01-23 08:54:16 +00:00
Eli Barzilay
975ffcc227 Welcome to a new PLT day. 
svn: r5435
 2007-01-23 08:50:03 +00:00
John Clements
8c99995af3 added stop on next buttons 
svn: r5434
 2007-01-23 04:16:40 +00:00
Eli Barzilay
4370b361b6 provide log-line 
svn: r5433
 2007-01-23 03:35:05 +00:00
Eli Barzilay
90786886a0 improved code, replace read/write specs by a generic permissions parameter 
svn: r5432
 2007-01-23 02:22:13 +00:00
John Clements
0f447d6b63 added end button 
svn: r5431
 2007-01-22 20:49:10 +00:00
John Clements
4e3aee32c2 added jump-to-end button label 
svn: r5430
 2007-01-22 20:48:07 +00:00
Eli Barzilay
57e2eb0362 * Added sandbox-read-ok-paths' and sandbox-write-ok-paths' to customize the 
default security guard
* Automatically add non-collects paths that are needed to load teachpacks and
  the langauge module.

svn: r5429
 2007-01-22 19:54:51 +00:00
Eli Barzilay
0698c15032 Welcome to a new PLT day. 
svn: r5427
 2007-01-22 08:50:03 +00:00
Greg Cooper
ecd97933e6 fixed quadratic performance problem in switches 
svn: r5426
 2007-01-22 05:14:23 +00:00
Matthew Flatt
42bf3cfbe0 minor streamlining of unit compilation 
svn: r5424
 2007-01-22 03:45:26 +00:00
Matthew Flatt
b550ae9b73 mostly improvements to run.ss benchmark-running script 
svn: r5423
 2007-01-22 03:18:51 +00:00
Eli Barzilay
ab98b01677 Welcome to a new PLT day. 
svn: r5422
 2007-01-21 08:50:04 +00:00
Eli Barzilay
2636dbd368 added i/o controlling 
svn: r5420
 2007-01-20 22:20:23 +00:00
Eli Barzilay
983893a48c Welcome to a new PLT day. 
svn: r5419
 2007-01-20 08:50:04 +00:00
Matthew Flatt
6781640440 fix threadlib section report 
svn: r5418
 2007-01-19 21:42:53 +00:00
Mike Sperber
4110c9ad99 Synch with latest. 
svn: r5416
 2007-01-19 15:48:18 +00:00
Eli Barzilay
4229e29035 * memory-limit also forbids large allocations now, remove warning 
* rename `current-run-status' -> `set-run-status'
* coverage should work fine with non-textual submissions
* added `current-error-message-tweaker', "checker.ss"-based checkers now use it
  to show which expression caused an error ("handin-server.ss" uses
  `tweak-error-message').  (This feature is a hack, and currently undocumented)

svn: r5415
 2007-01-19 10:03:54 +00:00
Eli Barzilay
fd4a4abe36 Welcome to a new PLT day. 
svn: r5414
 2007-01-19 08:50:04 +00:00
Matthew Flatt
f2285ef04a fix read and read-syntax 
svn: r5411
 2007-01-19 03:03:57 +00:00
Matthew Flatt
028891aa51 same WXME regexp bug 
svn: r5410
 2007-01-19 02:50:27 +00:00
Matthew Flatt
24bc2eb636 correct regexp for magic, again 
svn: r5409
 2007-01-19 02:48:52 +00:00
Matthew Flatt
943e9f1ae0 change reader path in magic 
svn: r5407
 2007-01-19 02:05:41 +00:00
Matthew Flatt
f7e85c5045 clean up and add test-case support 
svn: r5406
 2007-01-19 02:05:17 +00:00
Matthew Flatt
4baff4e975 more WXME tests 
svn: r5405
 2007-01-19 02:03:57 +00:00
Matthew Flatt
906f03dcd1 merge duplicate page-setup items 
svn: r5404
 2007-01-19 01:51:47 +00:00
Matthew Flatt
dbaccc2d5c fix cert problem when internal and external names are provided, but no initial value is provided 
svn: r5403
 2007-01-19 01:50:17 +00:00
Matthew Flatt
75f0d2ea8c change #reader path 
svn: r5402
 2007-01-18 22:28:06 +00:00
Eli Barzilay
b35c1ab25f code cleanup etc 
svn: r5401
 2007-01-18 19:36:43 +00:00
Matthew Flatt
33f9bc68db correct paths in compat 
svn: r5400
 2007-01-18 14:28:51 +00:00
Matthew Flatt
00d745bd5e wxme belongs outside of mred, obviously 
svn: r5399
 2007-01-18 14:26:29 +00:00
Matthew Flatt
2b78c44c4c commit changed before moving (I really should have done this on a branch) 
svn: r5398
 2007-01-18 14:23:41 +00:00
Matthew Flatt
8fd3137117 better wxme organization 
svn: r5396
 2007-01-18 14:06:30 +00:00
Matthew Flatt
ca93f4e358 support for cache-image 
svn: r5395
 2007-01-18 13:47:48 +00:00
Matthew Flatt
298db5ef07 reverse accidental commit of compiled subdir 
svn: r5394
 2007-01-18 12:21:39 +00:00
Matthew Flatt
208d160a1b MrEd-less reading of WXME files (work in progress, but it's mostly there) 
svn: r5393
 2007-01-18 12:20:57 +00:00
Matthew Flatt
05faf4f7d3 fix read-to-peek port so that it calls special-value procs only once for both peek and read 
svn: r5392
 2007-01-18 12:17:45 +00:00
Matthew Flatt
02131575f6 rename original media file to include right version 
svn: r5391
 2007-01-18 12:16:54 +00:00
Matthew Flatt
01866bcfb4 get rid of file numbered 2 instead of 8 
svn: r5390
 2007-01-18 12:16:05 +00:00
Matthew Flatt
9b2426be7f text-box class name changed to a lib path (not completely backward compatible) 
svn: r5389
 2007-01-18 12:15:32 +00:00
Matthew Flatt
4fe1f82d1b WXME version-8 examples 
svn: r5388
 2007-01-18 12:13:33 +00:00
Matthew Flatt
3f2f0e3ab9 rename prog to include format version 
svn: r5387
 2007-01-18 09:16:27 +00:00
Matthew Flatt
b2d9b73fb4 added program, corrected media6 
svn: r5386
 2007-01-18 09:15:42 +00:00
Matthew Flatt
f77e70643f some test graphical files in the v209 format (WXME version 6) 
svn: r5385
 2007-01-18 09:11:00 +00:00
Eli Barzilay
ccea02899c Welcome to a new PLT day. 
svn: r5384
 2007-01-18 08:50:04 +00:00
Eli Barzilay
16db731ca2 PR8492 
svn: r5383
 2007-01-18 07:59:56 +00:00
Robby Findler
08367229df added page setup dialog 
svn: r5381
 2007-01-17 14:54:50 +00:00
Matthew Flatt
8ce6c48afa add placeholders for new string constants 
svn: r5380
 2007-01-17 13:14:56 +00:00
Robby Findler
c817beb86b added page setup dialog 
svn: r5379
 2007-01-17 11:07:24 +00:00
Eli Barzilay
d9370fb7d6 Welcome to a new PLT day. 
svn: r5378
 2007-01-17 08:50:03 +00:00
Matthew Flatt
7c153c3248 fix conversion of pathnames to module names 
svn: r5376
 2007-01-17 07:02:16 +00:00
Eli Barzilay
19c33a8e2a no need for string->immutable-string when creating exceptions 
svn: r5372
 2007-01-17 01:18:50 +00:00
Matthew Flatt
58e05fbd65 fix typo 
svn: r5369
 2007-01-17 00:13:11 +00:00
Matthew Flatt
87c0d5754e 369.5 
svn: r5366
 2007-01-16 20:55:13 +00:00
Eli Barzilay
e51405b682 use system type for suffix 
svn: r5365
 2007-01-16 10:57:26 +00:00
Eli Barzilay
94ee1e0116 Welcome to a new PLT day. 
svn: r5364
 2007-01-16 08:50:23 +00:00
Eli Barzilay
58c15c32da fixed namespace+eventspace tricky bug 
svn: r5363
 2007-01-16 06:41:30 +00:00
Eli Barzilay
237506faed fixed bug with evaluation of uncovered exprs 
svn: r5362
 2007-01-16 06:18:04 +00:00
Eli Barzilay
d570c1c0bd typo 
svn: r5361
 2007-01-16 04:34:13 +00:00
Eli Barzilay
3dae5ee445 typo 
svn: r5360
 2007-01-16 04:30:10 +00:00
Eli Barzilay
f0a958e45b misc 
svn: r5359
 2007-01-16 04:28:32 +00:00
Eli Barzilay
cf67b9672a Made it easier to use `get-uncovered-expressions', fix use in checker.ss 
svn: r5358
 2007-01-16 02:35:15 +00:00
Eli Barzilay
6df2f54ac6 * rename with-limits -> call-with-limits 
* add a with-limits macro

svn: r5357
 2007-01-16 02:28:48 +00:00
Eli Barzilay
c98b4a15b2 * Factored out and generalized sandbox code for standalone testing 
* Renamed "extra-utils.ss" to "checker.ss"

svn: r5356
 2007-01-16 02:21:29 +00:00
Matthew Flatt
32ec113ed1 fix public-final-name-localized bug 
svn: r5354
 2007-01-15 05:58:28 +00:00
Eli Barzilay
3cf7d2a55e no need for mk-args 
svn: r5352
 2007-01-14 04:24:44 +00:00
Mike Sperber
47cca352ab Synch with latest. 
svn: r5350
 2007-01-13 13:38:55 +00:00
Eli Barzilay
4154726b7b Welcome to a new PLT day. 
svn: r5349
 2007-01-13 08:50:20 +00:00
Eli Barzilay
ade44ab9c5 removed more test-boxes code 
svn: r5348
 2007-01-13 05:03:39 +00:00
Eli Barzilay
4162d15249 forgot to actually comment the tool lines, done now 
svn: r5347
 2007-01-13 05:01:16 +00:00
Matthew Flatt
27e5516214 allow only one of --3m and --cgc 
svn: r5344
 2007-01-13 00:02:54 +00:00
Eli Barzilay
9711964d4f fix property & file format mess 
svn: r5343
 2007-01-12 23:55:37 +00:00
Greg Cooper
441a48c33b adding kim's optimizer 
svn: r5342
 2007-01-12 23:47:08 +00:00
Matthew Flatt
ba1305ba3b fix using Cygwin to create extensions for MSVC build 
svn: r5341
 2007-01-12 23:30:12 +00:00
Ryan Culpepper
0b35093018 Macro stepper preserves position when hiding policy changed, etc 
svn: r5338
 2007-01-12 22:56:21 +00:00
Jens Axel Soegaard
8acfe2bdfa Fixed typo. 
svn: r5337
 2007-01-12 20:33:14 +00:00
Eli Barzilay
1a2cd87dd4 doc improvements, added an optional environment variable for the server root directory 
svn: r5336
 2007-01-12 19:34:55 +00:00
Matthew Flatt
827ef4deb7 use regexp-quote to turn extension into a pattern 
svn: r5335
 2007-01-12 13:07:10 +00:00
Matthew Flatt
258d1908cb use (system-type so-suffix) for dynext/file.ss utils 
svn: r5332
 2007-01-12 12:05:53 +00:00
Eli Barzilay
812997204f * Main change: added active-dirs' and inactive-dirs' as configuration options 
instead of moving directories.
* Don't show solutions in active assignments, also check that when downloading
  files.
* Improved (no `suffix:') error messages for errors that users should
  eventually see.

svn: r5331
 2007-01-12 07:40:24 +00:00
Matthew Flatt
91add0453f 369.4 
svn: r5327
 2007-01-12 07:09:56 +00:00
Eli Barzilay
4d57d7b6be better error reports 
svn: r5324
 2007-01-12 05:35:22 +00:00
Eli Barzilay
89ce220ed9 use bytes->string/locale to translate paths-as-bytes to strings 
svn: r5318
 2007-01-12 00:52:23 +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
Ryan Culpepper
9330d96ad7 Macro stepper: 
simplified match patterns, eliminated old dollar-sign patterns
  added derivs to reductions; prep for jump-to and zoom-in
  changed step-note to step-type

svn: r5316
 2007-01-11 23:16:58 +00:00
Eli Barzilay
26a4bca1b6 handin-client disabled by default 
svn: r5315
 2007-01-11 20:46:02 +00:00
Eli Barzilay
c72d6f4170 newer-and-still-ugly-in-robbys-opinion icon 
svn: r5314
 2007-01-11 20:08:50 +00:00
Eli Barzilay
636c39afa7 Welcome to a new PLT day. 
svn: r5312
 2007-01-11 08:50:04 +00:00
Ryan Culpepper
c5b19a52a9 New macro stepper option: show one term per step rather than term->term 
svn: r5308
 2007-01-11 00:10:02 +00:00
Matthew Flatt
1967a2fdbf allow centering, though broken for Mac OS X with a parent frame 
svn: r5306
 2007-01-10 21:13:45 +00:00
Matthias Felleisen
dc725487cb testing + docs 
svn: r5305
 2007-01-10 20:14:24 +00:00
Matthias Felleisen
6537365672 small fixes to English in testing.scm 
svn: r5304
 2007-01-10 19:14:12 +00:00
Eli Barzilay
8af562f7a1 use configuration keys dynamically 
svn: r5303
 2007-01-10 18:16:51 +00:00
Eli Barzilay
9e78a08d6e removed test-suite related code 
svn: r5302
 2007-01-10 17:47:13 +00:00
Eli Barzilay
76773d289e * poll & re-read configuration file 
* cache configuration values

svn: r5301
 2007-01-10 17:02:58 +00:00
Robby Findler
f9d2874b71 commented out some code that triggers an error for me -- things don't get centerd now, but at least drscheme starts up ... 
svn: r5300
 2007-01-10 16:00:56 +00:00
Eli Barzilay
5876ed8e3b fix PR8428, and also paths with an initial "~" 
svn: r5294
 2007-01-10 10:33:54 +00:00
Eli Barzilay
4e284a04b9 Welcome to a new PLT day. 
svn: r5293
 2007-01-10 09:31:52 +00:00
Eli Barzilay
95a1888c8f Misc improvements, the main two: 
* No need to define `collection' in info.ss
* Catches connection error when using the management dialog (so it is
  still possible to uninstall)

svn: r5292
 2007-01-10 09:19:31 +00:00
Eli Barzilay
c56394a0fc fix for PR8480 
svn: r5291
 2007-01-10 08:27:12 +00:00
Ryan Culpepper
f546667d50 Fixed alignment of syntax-snips, separate controllers, props icon 
svn: r5285
 2007-01-10 00:17:17 +00:00
Robby Findler
6c02b499fb changed drs so that definitions window programs abort at first error (also fixes bug in error message reporting in the module language) 
svn: r5284
 2007-01-09 22:10:54 +00:00
Eli Barzilay
560fbd4d88 generic icon 
svn: r5283
 2007-01-09 18:59:53 +00:00