William J. Bowman d7883e172f Fix case sensitivity issues in bibtex		2020-08-23 09:53:25 -06:00
..
help	point send-main-page to racket website when docs not found	2018-06-12 08:46:50 -06:00
scribble	Add racketoptionalfont	2020-08-21 09:01:57 -06:00
scriblib	Fix case sensitivity issues in bibtex	2020-08-23 09:53:25 -06:00
info.rkt	add \usepackage{txfonts} to the defaults for latex in scribble	2020-06-26 16:23:59 -05:00