racket

History

Eli Barzilay ae5a066d00 Fix prop problems. "follow-log.rkt" moved to "framework/private", fix sorting for the collatz benchmark.		2012-11-11 14:37:56 -05:00
..
build	No more "planet" executable.	2012-10-19 05:17:56 -04:00
contrib	Change checksums for -h changes.	2012-10-19 05:17:56 -04:00
drdr	Adding the xorg config	2012-11-05 22:33:29 -07:00
drdr2
images	Improvements to "meta/images/taking-screenshots".	2012-09-19 23:04:25 -04:00
planet2-index	Release Planet 2 (beta)	2012-11-08 06:16:42 -07:00
tree
web	v5.3.1 stuff	2012-11-07 14:50:24 -05:00
check-dists.rkt	fix meta/check-dists	2011-12-04 08:01:48 -07:00
checker.rkt	A bunch of `fprintf' ->` eprintf' conversions (and a few related things).	2012-05-06 12:06:00 -04:00
dist-specs.rkt	rename contract-blueboxes.rktd to blueboxes.rktd	2012-08-14 16:20:47 -05:00
info.rkt	Move screenshot scripts to the meta collect.	2012-09-18 14:17:36 -04:00
props	Fix prop problems.	2012-11-11 14:37:56 -05:00
readme.txt
spec-lang.rkt
spec-reader.rkt
specs.rkt

This directory contains code that is used to manage Racket infrastructure.