log src/elab_env.sml

age author description
2008-06-22 Adam Chlipala Subsignatures
2008-06-22 Adam Chlipala Separate compilation and automatic basis importation
2008-06-22 Adam Chlipala Start of FFI
2008-06-19 Adam Chlipala Elaborating 'where'
2008-06-19 Adam Chlipala Beginning of functor elaboration
2008-06-17 Adam Chlipala Elaborating module projection
2008-06-12 Adam Chlipala Simple signature matching
2008-06-08 Adam Chlipala Further experiments with implicit arguments
2008-06-08 Adam Chlipala Conversion to Core
2008-06-08 Adam Chlipala Primitive type constants
2008-06-08 Adam Chlipala Lifting cons in ElabEnv
2008-03-28 Adam Chlipala Simple elaboration working
2008-01-26 Adam Chlipala Added simple expression constructors to Elab
2008-01-26 Adam Chlipala Elaborating files
2008-01-26 Adam Chlipala Start of elaboration