scribble-enhanced

Author SHA1 Message Date

Author	SHA1	Message	Date
Matthew Flatt	f09604f097	scribble/lp2: declare `doc` submodule with `module` Using `module` allows the documentation submodule to refer to the implementation module.	2015-12-30 06:24:17 -06:00
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

Matthew Flatt

f09604f097

scribble/lp2: declare doc submodule with module*

Using `module*` allows the documentation submodule to refer to the
implementation module.

2015-12-30 06:24:17 -06:00

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

3 Commits