log .hgignore

age author description
2009-04-30 Adam Chlipala C FFI compiler options
2009-02-17 Adam Chlipala Start of Featherweight Ur semantics
2008-11-29 Adam Chlipala Module projection
2008-11-27 Adam Chlipala Start of manual
2008-11-25 Adam Chlipala Profiling in Makefile
2008-10-24 Adam Chlipala Transactions seem to be working
2008-10-19 Adam Chlipala Building combined demo app
2008-10-19 Adam Chlipala Demo HTML generation, minus source code
2008-10-19 Adam Chlipala Proper configuration and installation
2008-08-31 Adam Chlipala Laconic -> Ur
2008-07-10 Adam Chlipala Writing HTML
2008-01-26 Adam Chlipala Initial parsing and pretty-printing
2008-01-26 Adam Chlipala Initial skeleton