log src/cjr_print.sml

age author description
Sun, 11 Jan 2009 10:22:19 -0500 Adam Chlipala Use header to set default script type
Sat, 20 Dec 2008 16:19:26 -0500 Adam Chlipala Successfully generated a page element from a signal
Tue, 11 Nov 2008 19:20:37 -0500 Adam Chlipala Add CutMulti