Robby Findler ac568d7b3f try using make-bitmap for the bitmaps under unix to see if drdr ... likes that better		2012-03-05 13:48:34 -06:00
..
extended-language.png	try using make-bitmap for the bitmaps under unix to see if drdr	2012-03-05 13:48:34 -06:00
extended-reduction-relation.png	try using make-bitmap for the bitmaps under unix to see if drdr	2012-03-05 13:48:34 -06:00
holes.png	try using make-bitmap for the bitmaps under unix to see if drdr	2012-03-05 13:48:34 -06:00
judgment-form-examples.png	try using make-bitmap for the bitmaps under unix to see if drdr	2012-03-05 13:48:34 -06:00
language-nox.png	try using make-bitmap for the bitmaps under unix to see if drdr	2012-03-05 13:48:34 -06:00
language.png	try using make-bitmap for the bitmaps under unix to see if drdr	2012-03-05 13:48:34 -06:00
lw.png	try using make-bitmap for the bitmaps under unix to see if drdr	2012-03-05 13:48:34 -06:00
metafunction-judgment-holds.png	try using make-bitmap for the bitmaps under unix to see if drdr	2012-03-05 13:48:34 -06:00
metafunction-multi-arg.png	try using make-bitmap for the bitmaps under unix to see if drdr	2012-03-05 13:48:34 -06:00
metafunction-Name-vertical.png	try using make-bitmap for the bitmaps under unix to see if drdr	2012-03-05 13:48:34 -06:00
metafunction-Name.png	try using make-bitmap for the bitmaps under unix to see if drdr	2012-03-05 13:48:34 -06:00
metafunction-subst.png	try using make-bitmap for the bitmaps under unix to see if drdr	2012-03-05 13:48:34 -06:00
metafunction-T.png	try using make-bitmap for the bitmaps under unix to see if drdr	2012-03-05 13:48:34 -06:00
metafunction-TL.png	try using make-bitmap for the bitmaps under unix to see if drdr	2012-03-05 13:48:34 -06:00
metafunction.png	try using make-bitmap for the bitmaps under unix to see if drdr	2012-03-05 13:48:34 -06:00
metafunctions-multiple.png	try using make-bitmap for the bitmaps under unix to see if drdr	2012-03-05 13:48:34 -06:00
mf-hidden.png	try using make-bitmap for the bitmaps under unix to see if drdr	2012-03-05 13:48:34 -06:00
rdups-delimited.png	try using make-bitmap for the bitmaps under unix to see if drdr	2012-03-05 13:48:34 -06:00
rdups-undelimited.png	try using make-bitmap for the bitmaps under unix to see if drdr	2012-03-05 13:48:34 -06:00
red-with-where-name.png	try using make-bitmap for the bitmaps under unix to see if drdr	2012-03-05 13:48:34 -06:00
red2.png	try using make-bitmap for the bitmaps under unix to see if drdr	2012-03-05 13:48:34 -06:00
reduction-relation-with-computed-labels-and-hiding.png	try using make-bitmap for the bitmaps under unix to see if drdr	2012-03-05 13:48:34 -06:00
reduction-relation-with-computed-labels.png	try using make-bitmap for the bitmaps under unix to see if drdr	2012-03-05 13:48:34 -06:00
reduction-relation.png	try using make-bitmap for the bitmaps under unix to see if drdr	2012-03-05 13:48:34 -06:00
relation-with-name.png	try using make-bitmap for the bitmaps under unix to see if drdr	2012-03-05 13:48:34 -06:00
relation.png	try using make-bitmap for the bitmaps under unix to see if drdr	2012-03-05 13:48:34 -06:00
rr-hidden.png	try using make-bitmap for the bitmaps under unix to see if drdr	2012-03-05 13:48:34 -06:00
stlc.png	try using make-bitmap for the bitmaps under unix to see if drdr	2012-03-05 13:48:34 -06:00
superscripts.png	try using make-bitmap for the bitmaps under unix to see if drdr	2012-03-05 13:48:34 -06:00
var-not-in-rebound.png	try using make-bitmap for the bitmaps under unix to see if drdr	2012-03-05 13:48:34 -06:00
var-not-in.png	try using make-bitmap for the bitmaps under unix to see if drdr	2012-03-05 13:48:34 -06:00