sheepluva [Thu, 30 Aug 2012 20:42:29 +0200] rev 7631
dos2unix newline fixes on 7 (video recording-)merged files
unc0rr [Thu, 30 Aug 2012 22:41:22 +0400] rev 7630
Move some options to the second page so first page doesn't look ugly on low resolution
nemo [Thu, 30 Aug 2012 14:26:05 -0400] rev 7629
neglected stuff
nemo [Thu, 30 Aug 2012 13:02:19 -0400] rev 7628
Checking merge against latest trunk
nemo [Wed, 29 Aug 2012 23:12:47 -0400] rev 7627
preliminary creeper (not yet functional)
sheepluva [Wed, 29 Aug 2012 20:07:17 +0200] rev 7626
new grave: dragonball (incl. svg) by Randy
nemo [Wed, 29 Aug 2012 11:48:10 -0400] rev 7625
tiny (probably) optimisation
nemo [Wed, 29 Aug 2012 10:56:32 -0400] rev 7624
A few more operators. Committing in case unc0rr wants to fiddle.
nemo [Wed, 29 Aug 2012 09:58:23 -0400] rev 7623
isZero appears to be never used. Use it in a few obvious cases and add web variant.
unc0rr [Wed, 29 Aug 2012 16:42:22 +0400] rev 7622
Fix library installation in win32