Matthew Flatt 1ba604d48e include version in scribble latex output ... svn: r8135 original commit: 5df53fbe7631a7f1a858c6aaa4352f9356757eb9		2007-12-27 11:28:11 +00:00
..
help	made truncated message be red italics	2007-12-19 04:25:53 +00:00
launcher	import	1998-01-13 22:13:43 +00:00
scribble	include version in scribble latex output	2007-12-27 11:28:11 +00:00
scribblings/scribble	fill out more documentation; add placeholder? and hash-table-placeholder?	2007-12-21 03:45:22 +00:00