log src/lacweb.grm

age author description
2008-07-24 Adam Chlipala Record cut
2008-07-20 Adam Chlipala Form submission type-checking
2008-07-20 Adam Chlipala Initial form support
2008-07-20 Adam Chlipala A simpler context encoding
2008-07-17 Adam Chlipala Untangle
2008-07-17 Adam Chlipala Parsing and elaborating (non-mutual) 'val rec'
2008-07-13 Adam Chlipala Starting with closure links
2008-07-13 Adam Chlipala Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
2008-07-10 Adam Chlipala Initial HTML attributes support
2008-07-10 Adam Chlipala page declaration, up through monoize
2008-07-03 Adam Chlipala More fun with HTML
2008-07-03 Adam Chlipala XML tags with contents
2008-07-03 Adam Chlipala Basic XML stuff
2008-07-01 Adam Chlipala Tested constraints through functors
2008-07-01 Adam Chlipala Constraints in modules
2008-07-01 Adam Chlipala Disjointness assumptions in expressions
2008-07-01 Adam Chlipala Disjointness assumptions
2008-07-01 Adam Chlipala Threading disjointness conditions through Elaborate
2008-07-01 Adam Chlipala Initial disjointness prover
2008-06-26 Adam Chlipala Elaborate efold
2008-06-26 Adam Chlipala Elaborating cfold
2008-06-22 Adam Chlipala open
2008-06-22 Adam Chlipala Subsignatures
2008-06-22 Adam Chlipala include
2008-06-22 Adam Chlipala Lexer/parser hacks to share code between regular and signature file parsers
2008-06-22 Adam Chlipala Start of FFI
2008-06-19 Adam Chlipala Elaborating functor applications
2008-06-19 Adam Chlipala Elaborating 'where'
2008-06-19 Adam Chlipala Functor parsing
2008-06-17 Adam Chlipala Elaborating module projection
2008-06-12 Adam Chlipala Parsing and printing basic module system
2008-06-08 Adam Chlipala Unification wildcards
2008-06-08 Adam Chlipala Implicit constructor arguments
2008-06-08 Adam Chlipala Primitive type constants
2008-03-28 Adam Chlipala Fun with records
2008-01-26 Adam Chlipala Parsing basic expressions
2008-01-26 Adam Chlipala Add type keyword
2008-01-26 Adam Chlipala Check for leftover kind unifs
2008-01-26 Adam Chlipala Rename Laconic* modules to Source*
2008-01-26 Adam Chlipala Initial parsing and pretty-printing