Commit Graph

3 Commits

Author SHA1 Message Date
Robby Findler
0ca977aecd fix scribble/jfp 2016-05-28 02:32:40 -05:00
Matthew Flatt
2c45064376 scribble/jfp: work around a collision with mathabx 2015-05-28 16:23:16 -06:00
Sam Tobin-Hochstadt
a316fc12c0 Remove extra directories. 2014-12-02 00:54:52 -05:00