log

age author description
Sat, 04 Apr 2009 14:03:39 -0400 Adam Chlipala _Really_ implement embedded closure GC; extend Scriptcheck to figure out when client IDs must be assigned