29 Mar
2010
29 Mar
'10
11:33 a.m.
On Mon, Dec 28, 2009 at 8:50 PM, Brent Yorgey
Attached is a patch which adds a new exported function to TopicSpace, appropriate for providing as the ppSort field of a PP DynamicLog record, which sorts workspaces by history. The current facilities provided by TopicSpace for interfacing with DynamicLog are much too monolithic; this patch adds functionality that I want (and which others might find useful) but it really ought to be completely refactored to provide many smaller components that users can assemble however they like.
-Brent
If no one objects within 14 days, I will apply this. -- gwern