Sam Tobin-Hochstadt
|
6af7d32709
|
fix 9967
svn: r15720
|
2009-08-12 21:52:21 +00:00 |
|
Eli Barzilay
|
95f4d1eefe
|
use spaces instead of tabs to indent output
svn: r15719
|
2009-08-12 21:37:33 +00:00 |
|
Jay McCarthy
|
829c8416b6
|
Fix a bug suggested by Robby and add a test case
svn: r15718
|
2009-08-12 20:43:10 +00:00 |
|
Sam Tobin-Hochstadt
|
50b7a0b190
|
improve types for numeric predicates
fix pr 9767
svn: r15717
|
2009-08-12 20:42:20 +00:00 |
|
Sam Tobin-Hochstadt
|
35336e77b8
|
Improve error messages from require/contract
svn: r15716
|
2009-08-12 20:28:08 +00:00 |
|
Jay McCarthy
|
1dba4edcb9
|
A fix for my example hide hole based models
svn: r15715
|
2009-08-12 20:08:36 +00:00 |
|
Robby Findler
|
485785176a
|
drscheme now saves its compiled files in its own directory
svn: r15714
|
2009-08-12 19:44:14 +00:00 |
|
Robby Findler
|
4c420d4a64
|
svn: r15713
|
2009-08-12 19:43:26 +00:00 |
|
Robby Findler
|
3f0b94e58a
|
svn: r15712
|
2009-08-12 19:42:53 +00:00 |
|
Matthew Flatt
|
5ff1429b6d
|
more latex accented characters
svn: r15711
|
2009-08-12 18:58:49 +00:00 |
|
Eli Barzilay
|
1b110d2680
|
Welcome to a new PLT day.
svn: r15710
|
2009-08-12 07:50:20 +00:00 |
|
Jay McCarthy
|
3432cf282f
|
Adding more specific contracts
svn: r15709
|
2009-08-11 22:31:44 +00:00 |
|
Jay McCarthy
|
d8bc61ae41
|
Adding more specific contracts
svn: r15708
|
2009-08-11 22:10:47 +00:00 |
|
Jay McCarthy
|
18093d26e1
|
Adding doc based contracts
svn: r15707
|
2009-08-11 21:24:45 +00:00 |
|
Sam Tobin-Hochstadt
|
50545830f2
|
Allow filters/objects to be provided to untyped code.
svn: r15706
|
2009-08-11 21:00:57 +00:00 |
|
Sam Tobin-Hochstadt
|
c27783830a
|
add getenv and pretty-print etc.
svn: r15705
|
2009-08-11 20:44:45 +00:00 |
|
Sam Tobin-Hochstadt
|
28be0897c3
|
Move student expansion above or.
Improve printing when no object.
svn: r15704
|
2009-08-11 20:19:19 +00:00 |
|
Sam Tobin-Hochstadt
|
9649e10df8
|
document define-struct/exec:
svn: r15703
|
2009-08-11 20:05:31 +00:00 |
|
Matthew Flatt
|
5207a215af
|
add missing core form to kernel-form-identifier-list, improve docs
svn: r15702
|
2009-08-11 19:48:05 +00:00 |
|
Sam Tobin-Hochstadt
|
b23016f86a
|
Prohibit predicates, unions of tvars in contracts
Add vector?
svn: r15701
|
2009-08-11 19:35:34 +00:00 |
|
Eli Barzilay
|
aae1fb9508
|
Welcome to a new PLT day.
svn: r15700
|
2009-08-11 07:50:23 +00:00 |
|
Matthew Flatt
|
3cb2775f7c
|
preserve original id use in expansion of first-order->higher-order
svn: r15699
|
2009-08-11 01:58:03 +00:00 |
|
Robby Findler
|
86d0ef6b1b
|
PR 10375
svn: r15698
|
2009-08-11 01:02:56 +00:00 |
|
Robby Findler
|
5604144718
|
svn: r15697
|
2009-08-11 01:02:01 +00:00 |
|
Matthew Flatt
|
2414f4f880
|
print-syntax-width (4.2.1.6)
svn: r15696
|
2009-08-10 22:01:57 +00:00 |
|
Matthew Flatt
|
bdeaa475b3
|
Scribble latex output and 'never-indents
svn: r15695
|
2009-08-10 22:01:32 +00:00 |
|
Eli Barzilay
|
4e2e7c1421
|
Welcome to a new PLT day.
svn: r15694
|
2009-08-10 07:50:21 +00:00 |
|
Matthew Flatt
|
a195a5defd
|
within a single document for multi-HTML rendering, add section prefix in generated file names
svn: r15693
|
2009-08-09 14:05:43 +00:00 |
|
Matthew Flatt
|
3170f05da2
|
correctly handle multiple registrations of the same snipclass name
svn: r15692
|
2009-08-09 13:48:09 +00:00 |
|
Matthew Flatt
|
a090aa60a9
|
fix multiple registration of make-line-snip snipclass
svn: r15691
|
2009-08-09 13:46:20 +00:00 |
|
Eli Barzilay
|
d045ab43f6
|
Welcome to a new PLT day.
svn: r15690
|
2009-08-09 07:50:18 +00:00 |
|
Eli Barzilay
|
fdb34adc36
|
Welcome to a new PLT day.
svn: r15689
|
2009-08-08 07:50:22 +00:00 |
|
Eli Barzilay
|
7340beddde
|
align expected and result on separate lines
svn: r15688
|
2009-08-08 07:21:39 +00:00 |
|
Eli Barzilay
|
ab544948e2
|
no plural if only one test
svn: r15687
|
2009-08-08 06:49:36 +00:00 |
|
Matthias Felleisen
|
1fe887fd9a
|
doc bug for replicate fixed
svn: r15686
|
2009-08-07 18:37:09 +00:00 |
|
Matthew Flatt
|
450d9b604e
|
DrScheme: only correct a paren if the inserted character would be colored as a parenthesis (which matters for @-form coloring)
svn: r15685
|
2009-08-07 14:59:14 +00:00 |
|
Matthew Flatt
|
d1bd8a7a40
|
fix problems parsing old WXME files
svn: r15684
|
2009-08-07 12:40:55 +00:00 |
|
Eli Barzilay
|
9e38ed6809
|
Welcome to a new PLT day.
svn: r15683
|
2009-08-07 07:50:33 +00:00 |
|
Robby Findler
|
60c0d623ee
|
svn: r15682
|
2009-08-06 19:48:29 +00:00 |
|
Matthew Flatt
|
015e926c04
|
fix delete-time callback to release caret focus
svn: r15681
|
2009-08-06 16:37:49 +00:00 |
|
Eli Barzilay
|
2038edda70
|
Welcome to a new PLT day.
svn: r15680
|
2009-08-06 07:50:18 +00:00 |
|
Robby Findler
|
b1a9a7e3bc
|
svn: r15679
|
2009-08-06 04:26:17 +00:00 |
|
Robby Findler
|
46f5ef44bd
|
added the computer language info back in
svn: r15678
|
2009-08-05 23:58:05 +00:00 |
|
Robby Findler
|
7c62f8caa0
|
PR 10385
svn: r15677
|
2009-08-05 23:08:42 +00:00 |
|
Robby Findler
|
8bee13c680
|
Matthias asked me to remove this definition
svn: r15676
|
2009-08-05 21:30:55 +00:00 |
|
Robby Findler
|
0646de8473
|
cleaned up a little bit, here and there
svn: r15675
|
2009-08-05 19:44:06 +00:00 |
|
Matthew Flatt
|
0d4ef1fc9f
|
complain when the up-to-3-arguments JIT constraint is broken
svn: r15674
|
2009-08-05 12:36:27 +00:00 |
|
Matthew Flatt
|
7616035dc0
|
fix direct-prim interception code to not use 4 arguments
svn: r15673
|
2009-08-05 12:30:35 +00:00 |
|
Eli Barzilay
|
160d30d81d
|
Welcome to a new PLT day.
svn: r15672
|
2009-08-05 07:50:17 +00:00 |
|
Robby Findler
|
3e8c91337f
|
added check-color
svn: r15671
|
2009-08-04 20:36:07 +00:00 |
|