nemo [Mon, 05 Dec 2011 23:10:53 -0500] rev 6507
with statement considered harmful
mikade [Tue, 06 Dec 2011 05:53:02 +0200] rev 6506
Don't forget about Rope Training.
mikade [Tue, 06 Dec 2011 05:41:52 +0200] rev 6505
oops
mikade [Tue, 06 Dec 2011 04:46:47 +0200] rev 6504
merge
nemo [Mon, 05 Dec 2011 18:38:25 -0500] rev 6503
...
nemo [Mon, 05 Dec 2011 18:38:07 -0500] rev 6502
...
mikade [Tue, 06 Dec 2011 00:47:24 +0200] rev 6501
Add some (slightly modified) GCI missions.
unc0rr [Mon, 05 Dec 2011 23:04:10 +0300] rev 6500
Let .hs be native eol format too
unc0rr [Mon, 05 Dec 2011 17:56:49 +0400] rev 6499
Start converting into monadic code using Reader monad (will be used to store information about namespace)
unc0rr [Fri, 02 Dec 2011 15:03:27 +0400] rev 6498
Some tiny optimizations
nemo [Sun, 04 Dec 2011 15:21:50 -0500] rev 6497
Bind 1-5 in defaults. Missions really need the option to pick a team though, using default team if none supplied.
koda [Sun, 04 Dec 2011 18:58:52 +0100] rev 6496
update the ios data script for the new audio mono location
koda [Sun, 04 Dec 2011 18:53:49 +0100] rev 6495
audio mono is back
koda [Sun, 04 Dec 2011 18:52:22 +0100] rev 6494
ios port working again, mono audio is missing
Kimsey0 [Sun, 04 Dec 2011 11:53:08 +0100] rev 6493
GCI task: iOS Danish