log src/tag.sml

age author description
2008-07-22 Adam Chlipala Simple forms work
2008-07-20 Adam Chlipala Almost ready to have a form work
2008-07-20 Adam Chlipala A simpler context encoding
2008-07-17 Adam Chlipala Tagging (non-mutual) 'val rec'
2008-07-17 Adam Chlipala Corifying (non-mutual) 'val rec'
2008-07-13 Adam Chlipala Proper handling of non-function-call links
2008-07-13 Adam Chlipala Serving pages
2008-07-13 Adam Chlipala Handling duplicate tags
2008-07-13 Adam Chlipala Closure code generation almost there
2008-07-13 Adam Chlipala Starting with closure links