3 Commits

Author	SHA1	Message	Date
Matthew Flatt	f9622dabf3	add scribble/lp2 ... Unlike `scribble/lp` a programm written with `scribble/lp2` can be used directly, due to its `doc` submodule.	2014-12-15 18:05:14 -07:00
Asumu Takikawa	6d43de50ef	Change link to scribble doc sources ... The doc sources now live on Github post-split rather than on the PLT git server.	2014-12-10 22:53:34 -05:00
Sam Tobin-Hochstadt	a316fc12c0	Remove extra directories.	2014-12-02 00:54:52 -05:00