Thu, 30 Oct 2008 14:40:42 -0400 |
Adam Chlipala |
Add time to some type classes |
Thu, 30 Oct 2008 14:36:48 -0400 |
Adam Chlipala |
time type |
Tue, 28 Oct 2008 15:05:16 -0400 |
Adam Chlipala |
GCCARGS configure option |
Mon, 27 Oct 2008 08:27:45 -0400 |
Adam Chlipala |
Remove need for '() <-' notation |
Mon, 27 Oct 2008 08:16:19 -0400 |
Adam Chlipala |
Switch exit(1) call to uw_error() |
Sun, 26 Oct 2008 08:41:17 -0400 |
Adam Chlipala |
Avoid using libpq when unneeded |
Sat, 25 Oct 2008 18:58:45 -0400 |
Adam Chlipala |
Change 'sed' invocation to work in OSX |
Sat, 25 Oct 2008 12:18:33 -0400 |
Adam Chlipala |
mkdir -p BIN |
Sat, 25 Oct 2008 12:07:10 -0400 |
Adam Chlipala |
Use configure --prefix |
Fri, 24 Oct 2008 19:59:17 -0400 |
adamc |
Make *_w function prototypes match header file |
Fri, 24 Oct 2008 17:39:47 -0400 |
Adam Chlipala |
Add 'package' make target; add LICENSE |
Fri, 24 Oct 2008 17:35:33 -0400 |
Adam Chlipala |
Remove debug print for optional inputs |
Fri, 24 Oct 2008 17:30:07 -0400 |
Adam Chlipala |
Properly freeing libpq results on errors |
Fri, 24 Oct 2008 16:47:18 -0400 |
Adam Chlipala |
Transactions seem to be working |
Fri, 24 Oct 2008 16:13:53 -0400 |
Adam Chlipala |
Stop including functors in paths |