| Fri, 24 Apr 2015 10:01:56 -0400 |
Adam Chlipala |
Ignore manual.out |
| Fri, 24 Apr 2015 07:51:47 -0400 |
Julian Squires |
Allow file directives to contain slashes |
| Fri, 24 Apr 2015 07:43:22 -0400 |
Julian Squires |
Use hyperref in manual |
| Thu, 23 Apr 2015 16:37:15 -0400 |
Istvan Chung |
Fix missing SQL name-mangling in table initialization |
| Sun, 12 Apr 2015 14:28:27 -0400 |
Adam Chlipala |
Return to working version mode |
| Sun, 12 Apr 2015 14:19:02 -0400 |
Adam Chlipala |
New release |
| Tue, 07 Apr 2015 14:18:53 -0400 |
Ziv Scully |
New mouse events oncontextmenu, onmouseenter, and onmouseleave. |
