log src/mono_env.sml

age author description
2008-08-03 Adam Chlipala Optimizing 'case' in Mono_reduce
2008-08-03 Adam Chlipala Compiled pattern matching to C
2008-08-03 Adam Chlipala Cases through monoize
2008-08-03 Adam Chlipala First part of getting cases through monoize
2008-07-29 Adam Chlipala Storing datatype constructors in type references past monoize
2008-07-29 Adam Chlipala Datatypes through monoize
2008-07-17 Adam Chlipala Tagging (non-mutual) 'val rec'
2008-07-13 Adam Chlipala Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
2008-07-10 Adam Chlipala page declaration, up through monoize
2008-06-22 Adam Chlipala Separate compilation and automatic basis importation
2008-06-10 Adam Chlipala Monoize