Commit Graph

117 Commits

Author SHA1 Message Date
Eli Barzilay
521dab3243 recommend using this as a script rather than an alias 2010-05-04 17:38:43 -04:00
Jay McCarthy
2bb3f5f6d7 Fix off by one error, thanks mflatt 2010-05-04 12:22:45 -06:00
Jay McCarthy
c2c72ce7a9 Longer make timeouts 2010-05-04 12:04:42 -06:00
Jay McCarthy
e6df143aac New program names 2010-05-04 12:04:10 -06:00
Sam Tobin-Hochstadt
6685b67033 increase timeout 2010-05-04 09:27:30 -04:00
Jay McCarthy
ccef8f8f37 Naturally the git prop script does the wrong thing 2010-05-03 22:35:37 -06:00
Jay McCarthy
54d0797c7c Setting props. Oh and the last commit also added check-not-eqv? for symmetry 2010-05-03 22:32:03 -06:00
Jay McCarthy
e123befc39 Merge branch 'master' of git.racket-lang.org:plt 2010-05-03 10:13:48 -06:00
Jay McCarthy
661aeb6cc9 Use rktl to load 2010-05-03 10:13:18 -06:00
Matthew Flatt
5a93e8c5e0 more test repairs 2010-05-02 08:31:12 -06:00
Matthew Flatt
e504acb726 use .rktl suffix for files meant to be 'load'ed 2010-05-01 09:58:16 -06:00
Matthew Flatt
9b4853dbca fix ctool prop 2010-05-01 08:28:39 -06:00
Matthew Flatt
3db8dd7c26 SHA1-based shortcut for compiler/cm 2010-04-30 16:30:10 -06:00
Jay McCarthy
d1d760415f Allow racket 2010-04-30 16:29:23 -06:00
Sam Tobin-Hochstadt
53560317ab set drdr prop 2010-04-30 16:27:03 -04:00
Stevie Strickland
5d020d0765 .ss -> .rkt 2010-04-30 16:16:26 -04:00
Jay McCarthy
b0d03b8a9c Dead file 2010-04-30 13:19:21 -06:00
Jay McCarthy
645b0b06fe Merge branch 'master' of git.racket-lang.org:plt 2010-04-30 10:57:38 -06:00
Jay McCarthy
bc5cf30ebe Renaming rktunit to racunit 2010-04-30 10:57:32 -06:00
Matthew Flatt
f20d3db75f fix some DrDr tests 2010-04-29 19:55:39 -06:00
Jay McCarthy
7f2c2965b2 Merge branch 'master' of git.racket-lang.org:plt 2010-04-29 15:00:06 -06:00
Jay McCarthy
f70ffca756 Renaming schemeunit to rktunit and adding compat layer 2010-04-29 15:00:02 -06:00
Casey Klein
9f5ec7da47 Fixes my earlier mistake (take 2) 2010-04-29 15:38:09 -05:00
Jay McCarthy
5cb8f4e3d9 Renaming logic/schelog to raclog, supporting unification for all racket datatypes 2010-04-29 13:41:12 -06:00
Jay McCarthy
d559ec72a4 Undoing racket rename, because DrDr runs an older version of Racket. And removing boring commits from pages 2010-04-28 14:05:38 -06:00
Jay McCarthy
123672d897 Sam's advice 2010-04-28 13:39:27 -06:00
Jay McCarthy
7cd703f034 Renaming schelog to logic and racketing 2010-04-28 13:37:57 -06:00
Matthew Flatt
6a28bd0e4b fix some tests for drdr 2010-04-28 11:02:31 -06:00
Matthew Flatt
882b7dce0e move tests/mzscheme to tests/racket 2010-04-27 18:28:39 -06:00
Matthew Flatt
28b4043077 rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
Jay McCarthy
5b779d22ac slatex test, slatex contracts and props 2010-04-27 11:00:24 -06:00
Jay McCarthy
77aa7b041c Rewriting in a different order 2010-04-27 09:47:39 -06:00
Jay McCarthy
f638850de9 Fixing some DrDr props 2010-04-27 09:45:10 -06:00
Jay McCarthy
e8d581db0d Setting responsiblity based on commit history and volunteering 2010-04-27 09:19:39 -06:00
Jay McCarthy
86be73f78f Using sls suffix 2010-04-27 09:19:21 -06:00
Jay McCarthy
a8027280b5 Merge branch 'master' of git.racket-lang.org:plt 2010-04-26 13:42:54 -06:00
Casey Klein
1cf22896ce Further increases DrDr timeout for Redex tests 2010-04-26 09:39:04 -05:00
Eli Barzilay
4fe5353dc3 don't distribute the places doc sources 2010-04-26 05:15:41 -04:00
Casey Klein
1d9757df02 Increases DrDr timeout for Redex tests 2010-04-25 06:30:00 -05:00
Stevie Strickland
4aa4b82000 Adding the slatex Python module for rubber to contrib. 2010-04-24 16:22:21 -04:00
Stevie Strickland
1cfc644afa Adjusting tab completion script for rico->raco rename. 2010-04-24 12:26:09 -04:00
Matthew Flatt
22470e4147 racket-tool -> raco 2010-04-24 07:46:56 -06:00
Eli Barzilay
72431fda2d only warn when there is an invalid path when getting a prop 2010-04-23 21:01:37 -04:00
Eli Barzilay
f4c08ccb08 Preserve the executable bit of the file 2010-04-23 21:01:36 -04:00
Robby Findler
6272d0511a dont bother running collects/help/help.ss 2010-04-23 15:43:57 -05:00
Jay McCarthy
3653883b02 Fixing prop usage, using rkt suffix, and better commit urls 2010-04-23 12:22:12 -06:00
Jay McCarthy
3df194f523 Fixing future rev link 2010-04-22 13:18:21 -06:00
Jay McCarthy
e49e9b2a9c Merge branch 'master' of git.racket-lang.org:plt 2010-04-22 13:08:13 -06:00
Jay McCarthy
09164a2027 Finalizing git transition 2010-04-22 13:06:40 -06:00
Jay McCarthy
b5d2496544 Unifying tmp files 2010-04-22 11:42:02 -06:00