Eli Barzilay
|
9964768444
|
typo
svn: r10086
|
2008-06-02 13:09:39 +00:00 |
|
Eli Barzilay
|
231d3a23f7
|
typo
svn: r10085
|
2008-06-02 10:37:29 +00:00 |
|
Eli Barzilay
|
c4506eccc1
|
svn: r10084
|
2008-06-02 10:26:29 +00:00 |
|
Eli Barzilay
|
80d99ae368
|
split help/prefs panels
svn: r10083
|
2008-06-02 10:21:57 +00:00 |
|
Eli Barzilay
|
fb0e5e0589
|
right-click to refine query
svn: r10082
|
2008-06-02 09:19:24 +00:00 |
|
Eli Barzilay
|
299e736ff8
|
added title filtering & options
svn: r10081
|
2008-06-02 08:23:37 +00:00 |
|
Eli Barzilay
|
cd8621726a
|
module-restricted searches, improved filtering, help messages
svn: r10080
|
2008-06-02 02:31:21 +00:00 |
|
Robby Findler
|
c16212375c
|
svn: r10079
|
2008-06-01 18:59:33 +00:00 |
|
Robby Findler
|
1ef3f03a27
|
svn: r10078
|
2008-06-01 18:45:13 +00:00 |
|
Robby Findler
|
5d75495c3b
|
svn: r10077
|
2008-06-01 18:42:27 +00:00 |
|
Matthew Flatt
|
fde79ecf09
|
chinese string-constant updates from chongkai
svn: r10076
|
2008-06-01 13:39:13 +00:00 |
|
Eli Barzilay
|
4f12c2351a
|
stupid JS-induced bug
svn: r10075
|
2008-06-01 02:31:03 +00:00 |
|
Danny Yoo
|
516231c1f9
|
Fix for auto-language.ss: if first line of program contains a snip, read-line fails and needs to be handled.
svn: r10074
|
2008-06-01 02:23:55 +00:00 |
|
Eli Barzilay
|
a5049573a3
|
added type delay to prefs
svn: r10073
|
2008-06-01 02:05:07 +00:00 |
|
Eli Barzilay
|
e48b97a61c
|
change, save & restore preferences
svn: r10072
|
2008-06-01 01:45:13 +00:00 |
|
Carl Eastlund
|
70d1281778
|
In scribblings/setup-plt/info.scrbl, replaced infotab/setup with setup/infotab where they were reversed.
svn: r10071
|
2008-05-31 18:28:16 +00:00 |
|
Eli Barzilay
|
cf5b2dba5b
|
force library order
svn: r10070
|
2008-05-31 16:26:44 +00:00 |
|
Eli Barzilay
|
0e3f55fa6e
|
* remove mynoscript hack (doesnt always work, always breaks on IE)
* Better JS event handling
svn: r10068
|
2008-05-31 16:13:40 +00:00 |
|
Mike Sperber
|
c2fc1baa1c
|
Synch with latest.
svn: r10067
|
2008-05-31 15:32:52 +00:00 |
|
Matthew Flatt
|
f3f901a643
|
typo (PR 9439)
svn: r10066
|
2008-05-31 13:47:00 +00:00 |
|
Eli Barzilay
|
5949092eae
|
Welcome to a new PLT day.
svn: r10065
|
2008-05-31 06:10:27 +00:00 |
|
Eli Barzilay
|
331628d8b4
|
less surprising sort of index entries
svn: r10064
|
2008-05-31 06:10:06 +00:00 |
|
Eli Barzilay
|
340c3a6f06
|
remove redundant index entries
svn: r10063
|
2008-05-31 05:19:36 +00:00 |
|
Robby Findler
|
b38215d4e9
|
fixed PR 9336
svn: r10062
|
2008-05-30 20:29:29 +00:00 |
|
Sam Tobin-Hochstadt
|
1c4fab4bfd
|
Add a cert to go with the struct predicate.
svn: r10061
|
2008-05-30 20:03:54 +00:00 |
|
Matthew Flatt
|
0b7e6e0985
|
fix inverted console test (PR 9436)
svn: r10060
|
2008-05-30 19:50:01 +00:00 |
|
Matthew Flatt
|
bb2d82bfb1
|
minor doc corrections
svn: r10059
|
2008-05-30 19:36:59 +00:00 |
|
Matthew Flatt
|
7b7c0f5c04
|
add 'for' forms to default indentation rules
svn: r10058
|
2008-05-30 19:19:03 +00:00 |
|
Matthew Flatt
|
0ef9d76ad3
|
remove HtUS and Slideshow web sites in the Help menu
svn: r10057
|
2008-05-30 19:10:27 +00:00 |
|
Matthew Flatt
|
566dfa072c
|
remove bogus 'return'
svn: r10056
|
2008-05-30 19:01:24 +00:00 |
|
Sam Tobin-Hochstadt
|
f783e05cd8
|
Fix provide w/ structs.
svn: r10055
|
2008-05-30 18:56:49 +00:00 |
|
Matthew Flatt
|
6cc0a9b046
|
change default file extension in DrScheme from .scm to .ss
svn: r10054
|
2008-05-30 18:44:21 +00:00 |
|
Robby Findler
|
240900bef2
|
made the repl printer use current-print
svn: r10053
|
2008-05-30 18:36:08 +00:00 |
|
Robby Findler
|
0d54645ab9
|
removed mentions of current print from the tools
svn: r10052
|
2008-05-30 18:35:58 +00:00 |
|
Eli Barzilay
|
8cdefb0d2e
|
svn: r10051
|
2008-05-30 18:10:29 +00:00 |
|
Matthew Flatt
|
5399cf9b43
|
fix update for borderless tabs and for group panels
svn: r10050
|
2008-05-30 17:00:30 +00:00 |
|
Eli Barzilay
|
1f26ed61e9
|
use onkeyup to detect all changes
svn: r10049
|
2008-05-30 16:59:08 +00:00 |
|
Stevie Strickland
|
f39d4e33ed
|
Adding foldr.
svn: r10048
|
2008-05-30 16:20:33 +00:00 |
|
Sam Tobin-Hochstadt
|
a67344ddf2
|
Reset after reporting errors.
svn: r10047
|
2008-05-30 16:19:47 +00:00 |
|
Eli Barzilay
|
8595bae336
|
add tags for module entries, enter with no change scrolls
svn: r10046
|
2008-05-30 16:17:06 +00:00 |
|
Matthew Flatt
|
cbb7db6a2c
|
repair cm handling of extensions
svn: r10045
|
2008-05-30 16:08:28 +00:00 |
|
Sam Tobin-Hochstadt
|
20a9a3e0b3
|
Report errors at the repl.
svn: r10044
|
2008-05-30 16:01:44 +00:00 |
|
Sam Tobin-Hochstadt
|
d9aa32446f
|
Add automated tests for match and typed-scheme.
svn: r10043
|
2008-05-30 16:00:43 +00:00 |
|
Matthew Flatt
|
928efc1349
|
re-port tex2page from v372 by building on r5rs instead of using immutable pairs
svn: r10042
|
2008-05-30 15:47:34 +00:00 |
|
Eli Barzilay
|
e0fecdae21
|
color and layout tweaks, minor bug
svn: r10041
|
2008-05-30 15:36:06 +00:00 |
|
Eli Barzilay
|
c7e3ab150a
|
better exact match highlights
svn: r10040
|
2008-05-30 15:24:09 +00:00 |
|
Eli Barzilay
|
f8f3ec3b90
|
put exact binding matches first in results
svn: r10039
|
2008-05-30 15:14:32 +00:00 |
|
Matthew Flatt
|
fb665f2012
|
fix 3m-cooperation problem in setting up graphical stdio
svn: r10038
|
2008-05-30 14:41:12 +00:00 |
|
Matthew Flatt
|
c8cbc555e5
|
fix HtDP executables (PR 9158)
svn: r10037
|
2008-05-30 14:21:22 +00:00 |
|
Matthew Flatt
|
a78bf662b2
|
adjust search-page sizing of 'provided from' to use a CSS entry, which scales by the magic 82% instead of 80% (because 80% drops just below the threshold of anti-aliasing the default monospace font in Safari)
svn: r10036
|
2008-05-30 13:25:54 +00:00 |
|