| Sun, 29 Dec 2013 10:29:26 -0500 |
Adam Chlipala |
Avoid some spurious error messages about link/form incompatibility; change the text of that error message to include RPC handlers |
| Thu, 12 Dec 2013 17:42:48 -0500 |
Adam Chlipala |
Start SQL transactions as read-only when possible, based on conservative program analysis |
| Sun, 06 May 2012 15:46:25 -0400 |
Adam Chlipala |
Fix bugs in support for 'style' and 'dynStyle' |
| Sat, 07 Jan 2012 15:56:22 -0500 |
Adam Chlipala |
First part of changes to avoid depending on C function call argument order of evaluation (omitting normal Ur function calls, so far) |
| Wed, 28 Dec 2011 18:05:27 -0500 |
Adam Chlipala |
Get a few more source files up-to-date with change to [tag] type |
| Sat, 03 Dec 2011 17:25:51 -0500 |
Adam Chlipala |
Don't crash on invalid URL head terms during Tag |
| Sun, 26 Dec 2010 17:29:03 -0500 |
Adam Chlipala |
queryString and effectfulUrl |
| Tue, 01 Jun 2010 15:46:24 -0400 |
Adam Chlipala |
Allow complex attribute records in Tag |
| Thu, 31 Dec 2009 11:41:57 -0500 |
Adam Chlipala |
Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly |
| Thu, 10 Dec 2009 15:46:07 -0500 |
Adam Chlipala |
Bug fixes in redirect-related stuff |
| Thu, 10 Dec 2009 13:32:09 -0500 |
Adam Chlipala |
Basis.url and redirects |
| Tue, 08 Dec 2009 11:45:19 -0500 |
Adam Chlipala |
Shake bug fix; pattern reduction in ReduceLocal |
| Wed, 25 Nov 2009 09:03:08 -0500 |
Adam Chlipala |
Better error message for link-handler conflicts |
| Tue, 11 Aug 2009 12:01:54 -0400 |
Adam Chlipala |
JavaScript urlifying of bools; correct Link attribute escaping |
| Thu, 16 Apr 2009 14:49:25 -0400 |
Adam Chlipala |
Label exported symbols by effect-ness; factor out some common datatypes |
