graph
- Remove printing of HTTP headers2008-10-21, by Adam Chlipala
- Fix a nasty driver bug, involving memory restarts and marked-up request strings2008-10-21, by Adam Chlipala
- listFun uses length2008-10-21, by Adam Chlipala
- Simple listShop working2008-10-21, by Adam Chlipala
- ListShop skeleton2008-10-21, by Adam Chlipala
- Fix XML indenting to ignore comparison operators2008-10-21, by Adam Chlipala
- ord_string2008-10-21, by Adam Chlipala
- ord_float and ord_bool2008-10-21, by Adam Chlipala
- Fix XML detection in presence of comparison operators2008-10-21, by Adam Chlipala
- gt, ge2008-10-21, by Adam Chlipala
- lt, le working for int2008-10-21, by Adam Chlipala
- num_float2008-10-21, by Adam Chlipala
- num working for int2008-10-21, by Adam Chlipala
- Monoize eq_[bool|string]2008-10-21, by Adam Chlipala
- Binops; equality tested on int; lame 404 substitute2008-10-21, by Adam Chlipala
- Fix a nasty indent bug, found while working on listFun2008-10-19, by Adam Chlipala
- Support for URL prefixes that works with local demo2008-10-19, by Adam Chlipala
- Building combined demo app2008-10-19, by Adam Chlipala
- Small demo prettifications2008-10-19, by Adam Chlipala
- Generating fontified source files2008-10-19, by Adam Chlipala
- Generating urp HTML2008-10-19, by Adam Chlipala
- Demo HTML generation, minus source code2008-10-19, by Adam Chlipala
- Link demo2008-10-19, by Adam Chlipala
- Proper configuration and installation2008-10-19, by Adam Chlipala
- Proper generation of relation names; checking that sequences exist2008-10-19, by Adam Chlipala
- Simple generation of persistent paths2008-10-19, by Adam Chlipala
- Fixing overzealous SQL paren-nester2008-10-16, by Adam Chlipala
- Indenting paren-nested SQL expressions2008-10-16, by Adam Chlipala
- Indenting simple DML properly2008-10-16, by Adam Chlipala
- Indenting SELECT sub-clauses properly2008-10-16, by Adam Chlipala
- Crud auto-indented correctly2008-10-16, by Adam Chlipala
- Fix problem with sig/struct indenting2008-10-16, by Adam Chlipala
- Crud indented properly, except for <xml>...</xml> outside parens and sig/struct2008-10-16, by Adam Chlipala
- Removed handling of <,> as operators, for now2008-10-16, by Adam Chlipala
- Improving indentation of XML after antiquote2008-10-16, by Adam Chlipala
- Proper indenting of normal ML-y code after </xml>2008-10-16, by Adam Chlipala
- Special case indenting for <xml>...</xml>2008-10-16, by Adam Chlipala
- Fix XML indent not to take two tab-tries2008-10-16, by Adam Chlipala
- Reasonable indenting for pure XML2008-10-16, by Adam Chlipala
- Reusable column handlers for Crud2008-10-14, by Adam Chlipala
- lform -> form2008-10-14, by Adam Chlipala
- Syntax highlighting for embedded XML2008-10-14, by Adam Chlipala
- Reorder font-lock rules to deal better with CDATA2008-10-13, by Adam Chlipala
- Good progress on highlighting embedded XML2008-10-12, by Adam Chlipala
- Highlighting HTML tags2008-10-12, by Adam Chlipala
- Basis and Top syntax-highlight, indent, parse, and type-check2008-10-12, by Adam Chlipala
- top.urs indents and type-checks with new twiddle syntax2008-10-12, by Adam Chlipala
- Basis indents and type-checks with new twiddle syntax2008-10-12, by Adam Chlipala
- More indenting2008-10-12, by Adam Chlipala
- Get type definitions font-locking again2008-10-12, by Adam Chlipala
- Customized font faces2008-10-12, by Adam Chlipala
- First sort-of-working run of urweb-mode2008-10-12, by Adam Chlipala
- Expand cases where expression wildcards are allowed2008-10-04, by Adam Chlipala
- Improved inference of records of tuples2008-10-04, by Adam Chlipala
- Use checkbox in CRUD example2008-10-04, by Adam Chlipala
- Small clean-ups in crud; Compiler.check2008-10-04, by Adam Chlipala
- Merge CDisjoint and TDisjoint2008-10-04, by Adam Chlipala
- Force existence of bin and clib directories2008-09-18, by Adam Chlipala
- Fix inexhaustive match2008-09-14, by Adam Chlipala
- Crud completed2008-09-14, by Adam Chlipala