log src/sources

age author description
2011-11-14 Adam Chlipala Better error messages about server-side use of client-side functions
2011-11-05 Adam Chlipala Support the full set of XHTML character entities
2011-07-15 Adam Chlipala Generated pretty-printed HTML for a simple tutorial source file
2010-08-22 Adam Chlipala Reduce: Inline let-bound variables whose types involve functions
2010-06-05 Adam Chlipala Another run of Specialize, using ReduceLocal on datatype parameters
2010-04-13 Adam Chlipala Command-line use of Iflow
2010-04-04 Adam Chlipala Generated basic dummy Iflow conditions