| Sun, 12 Dec 2010 10:35:04 -0500 |
Adam Chlipala |
Change Basis.debug to use the protocol's debug function |
| Sat, 11 Dec 2010 15:16:04 -0500 |
Adam Chlipala |
minHeap option in .urp files |
| Sun, 05 Dec 2010 18:47:54 +0100 |
Marc Weber |
fix small memory leaks |
| Sat, 04 Dec 2010 11:15:20 -0500 |
Adam Chlipala |
New argument to transactional free functions, to specify whether we are about to retry |
| Thu, 14 Oct 2010 11:35:56 -0400 |
Adam Chlipala |
-limit for running time |
| Tue, 07 Sep 2010 09:06:13 -0400 |
Adam Chlipala |
'tryDml' works with Postgres |
| Tue, 07 Sep 2010 08:28:07 -0400 |
Adam Chlipala |
Server-side 'onError' |
| Tue, 10 Aug 2010 16:02:55 -0400 |
Adam Chlipala |
Fix C-side jsification of UTF-8 strings |
| Sun, 30 May 2010 10:39:25 -0400 |
Adam Chlipala |
Include new config.h in C source files |
| Tue, 18 May 2010 14:47:56 -0400 |
Adam Chlipala |
URL-escape with '.' instead of '%', to avoid confusing proxies |
| Thu, 29 Apr 2010 17:24:42 -0400 |
Adam Chlipala |
Add rand to Basis and handle it in Iflow |
| Thu, 11 Feb 2010 09:10:01 -0500 |
Adam Chlipala |
sigfile directive |
