You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Matthew Butterick 7c5b479a59 suppress testing of app.rkt		8 months ago
..
data	better plural hiding	3 years ago
app.icns	GUI icons	3 years ago
app.ico	GUI icons	3 years ago
app.png	GUI icons	3 years ago
app.rkt	add menu shortcuts	3 years ago
command.rkt	more gui	3 years ago
index.rkt	raco command	3 years ago
info.rkt	suppress testing of app.rkt	8 months ago
kernscore.rkt	sorting etc	3 years ago
main.rkt	use sets	3 years ago
make-icons.rkt	GUI icons	3 years ago