2 Commits

Author	SHA1	Message	Date
Matthew Flatt	6d440f5a6b	fix more problems with a generated doc submodule ... One problem involved context that should not be included in a generated submodule, while another one was an issue with the previous repair to the shift to label phase.	2015-07-16 08:40:04 -06:00
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