scribble-enhanced/collects
Matthew Flatt 7717306a68 better floating notes
svn: r6589

original commit: 98af81ff7abea504cc0bf9534157eb761a5225f2
2007-06-12 08:10:15 +00:00
..
help fixed bug in, and improved error message reporting for doc.txt files 2006-12-22 17:44:44 +00:00
launcher import 1998-01-13 22:13:43 +00:00
scribble better floating notes 2007-06-12 08:10:15 +00:00
scribblings/scribble revert doc format of procedure specs 2007-06-11 01:52:02 +00:00