#ocaml on 2005-08-29 — irc logs at freenode.irclog.whitequark.org

2005-08-18 20:30 ayrnieu changed the topic of #ocaml to: OCaml 3.08.4 available! Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A free book: http://cristal.inria.fr/~remy/cours/appsem/ | Mailing List: http://caml.inria.fr/bin/wilma/caml-list/ | Cookbook: http://pleac.sourceforge.net/

00:06 Gueben has quit ["prout"]

00:26 homen23 has joined #ocaml

00:26 booyaa has quit ["leaving"]

00:27 homen23 has quit []

01:17 ski has quit ["Zzz"]

01:24 dan2 has quit [Read error: 110 (Connection timed out)]

01:33 __DL__ has quit [Read error: 104 (Connection reset by peer)]

01:39 gim has quit [Read error: 110 (Connection timed out)]

01:43 gim has joined #ocaml

01:50 interferon has joined #ocaml

01:59 Korollary has quit [Read error: 110 (Connection timed out)]

02:03 interferon has quit [Read error: 104 (Connection reset by peer)]

02:37 threeve has quit []

03:59 Herrchen has joined #ocaml

04:02 Smerdyakov has joined #ocaml

04:15 Herrchen_ has quit [Read error: 110 (Connection timed out)]

04:15 Smerdyakov has quit ["reboot"]

04:18 Smerdyakov has joined #ocaml

05:07 mlh_ has quit [Client Quit]

05:17 _shawn has quit [Read error: 110 (Connection timed out)]

05:17 _shawn has joined #ocaml

05:27 Snark has joined #ocaml

06:27 cmeme has quit [Connection timed out]

06:27 cmeme has joined #ocaml

06:45 cmeme has quit [Connection timed out]

06:46 cmeme has joined #ocaml

06:47 cmeme has quit [Read error: 104 (Connection reset by peer)]

06:48 cmeme has joined #ocaml

06:49 cmeme has quit [Read error: 104 (Connection reset by peer)]

06:50 cmeme has joined #ocaml

06:51 cmeme has quit [Read error: 104 (Connection reset by peer)]

06:52 cmeme has joined #ocaml

06:53 cmeme has quit [Client Quit]

06:54 cmeme has joined #ocaml

06:55 cmeme has quit [Client Quit]

06:56 cmeme has joined #ocaml

06:57 cmeme has quit [Client Quit]

06:57 cmeme has joined #ocaml

06:59 cmeme has quit [Client Quit]

06:59 cmeme has joined #ocaml

07:00 cmeme has quit [Read error: 104 (Connection reset by peer)]

07:01 cmeme has joined #ocaml

07:02 cmeme has quit [Client Quit]

07:03 cmeme has joined #ocaml

07:04 cmeme has quit [Client Quit]

07:05 cmeme has joined #ocaml

07:06 cmeme has quit [Client Quit]

07:07 cmeme has joined #ocaml

07:08 cmeme has quit [Connection reset by peer]

07:09 cmeme has joined #ocaml

07:23 pango_ has joined #ocaml

07:28 pango_ has quit [Remote closed the connection]

07:29 cmeme has quit [Success]

07:41 pango has quit [Read error: 110 (Connection timed out)]

07:45 pango has joined #ocaml

07:53 Gueben has joined #ocaml

09:19 Submarine has joined #ocaml

09:39 haelix has quit [Nick collision from services.]

09:46 Skal has joined #ocaml

09:57 _fab has joined #ocaml

10:01 Banana has quit [Read error: 104 (Connection reset by peer)]

10:01 mattam has quit [Read error: 104 (Connection reset by peer)]

10:06 Banana has joined #ocaml

10:06 mattam has joined #ocaml

10:17 petter_ has joined #ocaml

10:37 cmeme has joined #ocaml

10:38 cmeme has quit [Remote closed the connection]

10:38 cmeme has joined #ocaml

10:39 cmeme has quit [Client Quit]

10:40 cmeme has joined #ocaml

10:52 jave has joined #ocaml

10:54 __DL__ has joined #ocaml

10:54 vezenchio has joined #ocaml

10:58 cmeme has quit [Connection timed out]

10:59 cmeme has joined #ocaml

11:00 cmeme has quit [Read error: 104 (Connection reset by peer)]

11:01 cmeme has joined #ocaml

11:02 cmeme has quit [Client Quit]

11:03 cmeme has joined #ocaml

11:04 cmeme has quit [Client Quit]

11:05 cmeme has joined #ocaml

11:06 cmeme has quit [Client Quit]

11:07 cmeme has joined #ocaml

11:08 cmeme has quit [Client Quit]

11:09 cmeme has joined #ocaml

11:10 cmeme has quit [Client Quit]

11:11 cmeme has joined #ocaml

11:12 cmeme has quit [Client Quit]

11:13 cmeme has joined #ocaml

11:14 cmeme has quit [Read error: 104 (Connection reset by peer)]

11:15 cmeme has joined #ocaml

11:16 cmeme has quit [Client Quit]

11:17 cmeme has joined #ocaml

11:18 cmeme has quit [Client Quit]

11:19 cmeme has joined #ocaml

11:20 cmeme has quit [Client Quit]

11:20 cmeme has joined #ocaml

11:22 cmeme has quit [Client Quit]

11:22 cmeme has joined #ocaml

11:23 cmeme has quit [Client Quit]

11:24 cmeme has joined #ocaml

11:25 cmeme has quit [Client Quit]

11:26 cmeme has joined #ocaml

11:27 cmeme has quit [Client Quit]

11:28 cmeme has joined #ocaml

11:29 cmeme has quit [Client Quit]

11:30 cmeme has joined #ocaml

11:31 cmeme has quit [Client Quit]

11:32 __DL__ has quit [herbert.freenode.net irc.freenode.net]

11:32 _shawn has quit [herbert.freenode.net irc.freenode.net]

11:32 skylan has quit [herbert.freenode.net irc.freenode.net]

11:32 mw has quit [herbert.freenode.net irc.freenode.net]

11:32 Amorphous has quit [herbert.freenode.net irc.freenode.net]

11:32 pattern has quit [herbert.freenode.net irc.freenode.net]

11:32 rossberg has quit [herbert.freenode.net irc.freenode.net]

11:32 pango has quit [herbert.freenode.net irc.freenode.net]

11:32 Nutssh has quit [herbert.freenode.net irc.freenode.net]

11:32 batdog|gone has quit [herbert.freenode.net irc.freenode.net]

11:32 vezenchio has quit [herbert.freenode.net irc.freenode.net]

11:32 mattam has quit [herbert.freenode.net irc.freenode.net]

11:32 Banana has quit [herbert.freenode.net irc.freenode.net]

11:32 _fab has quit [herbert.freenode.net irc.freenode.net]

11:32 Gueben has quit [herbert.freenode.net irc.freenode.net]

11:32 Snark has quit [herbert.freenode.net irc.freenode.net]

11:32 gim has quit [herbert.freenode.net irc.freenode.net]

11:32 bzzbzz has quit [herbert.freenode.net irc.freenode.net]

11:32 TeXitoi has quit [herbert.freenode.net irc.freenode.net]

11:32 avlondono has quit [herbert.freenode.net irc.freenode.net]

11:32 mfurr has quit [herbert.freenode.net irc.freenode.net]

11:32 jave has quit [herbert.freenode.net irc.freenode.net]

11:32 Mike_L has quit [herbert.freenode.net irc.freenode.net]

11:33 clog has joined #ocaml

11:33 Revision17 has joined #ocaml

11:33 Submarine has joined #ocaml

11:34 j_n has joined #ocaml

11:34 batdog|gone has joined #ocaml

11:34 rossberg has joined #ocaml

11:34 Hipo has joined #ocaml

11:34 slashvar[lri] has joined #ocaml

11:34 Amorphous has joined #ocaml

11:35 Snark has joined #ocaml

11:36 Skal has joined #ocaml

11:37 TeXitoi has joined #ocaml

11:37 Mike_L has joined #ocaml

11:37 Naked has joined #ocaml

11:37 Naked is now known as Hadaka

11:37 ax has joined #ocaml

11:39 cmeme has joined #ocaml

11:40 cmeme has quit [Client Quit]

11:41 cmeme has joined #ocaml

11:42 mflux has joined #ocaml

11:42 bzzbzz has joined #ocaml

11:42 mattam has joined #ocaml

11:42 Banana has joined #ocaml

11:42 cmeme has quit [Read error: 104 (Connection reset by peer)]

11:42 oracle1 has joined #ocaml

11:42 shrimpx has joined #ocaml

11:42 ulfdoz has joined #ocaml

11:42 avlondono has joined #ocaml

11:42 TaXules has joined #ocaml

11:43 cmeme has joined #ocaml

11:44 mikeX has joined #ocaml

11:44 cmeme has quit [Client Quit]

11:45 cmeme has joined #ocaml

11:46 cmeme has quit [Client Quit]

11:47 cmeme has joined #ocaml

11:48 cmeme has quit [Client Quit]

11:49 cmeme has joined #ocaml

11:50 cmeme has quit [Client Quit]

11:50 pango has joined #ocaml

11:52 mikeX has quit ["Leaving"]

11:57 threeve has joined #ocaml

12:30 Banana has quit [Remote closed the connection]

12:46 _fab has quit [Read error: 113 (No route to host)]

13:11 Mike_L has quit [niven.freenode.net irc.freenode.net]

13:11 TeXitoi has quit [niven.freenode.net irc.freenode.net]

13:11 __DL__ has quit [niven.freenode.net irc.freenode.net]

13:11 _shawn has quit [niven.freenode.net irc.freenode.net]

13:11 slashvar[lri] has quit [niven.freenode.net irc.freenode.net]

13:11 pattern has quit [niven.freenode.net irc.freenode.net]

13:11 juri has quit [niven.freenode.net irc.freenode.net]

13:11 Skal has quit [niven.freenode.net irc.freenode.net]

13:11 noj has quit [niven.freenode.net irc.freenode.net]

13:11 TaXules has quit [niven.freenode.net irc.freenode.net]

13:11 ulfdoz has quit [niven.freenode.net irc.freenode.net]

13:11 shrimpx has quit [niven.freenode.net irc.freenode.net]

13:11 Hipo has quit [niven.freenode.net irc.freenode.net]

13:11 Revision17 has quit [niven.freenode.net irc.freenode.net]

13:11 Demitar has quit [niven.freenode.net irc.freenode.net]

13:11 det has quit [niven.freenode.net irc.freenode.net]

13:11 joeytwiddle has quit [niven.freenode.net irc.freenode.net]

13:11 calvin_ has quit [niven.freenode.net irc.freenode.net]

13:11 mw has quit [niven.freenode.net irc.freenode.net]

13:11 mflux has quit [niven.freenode.net irc.freenode.net]

13:11 Hadaka has quit [niven.freenode.net irc.freenode.net]

13:11 Smerdyakov has quit [niven.freenode.net irc.freenode.net]

13:11 ptolomy has quit [niven.freenode.net irc.freenode.net]

13:11 petter__ has quit [niven.freenode.net irc.freenode.net]

13:11 oracle1 has quit [niven.freenode.net irc.freenode.net]

13:11 ax has quit [niven.freenode.net irc.freenode.net]

13:11 pango has quit [niven.freenode.net irc.freenode.net]

13:11 Nutssh has quit [niven.freenode.net irc.freenode.net]

13:11 avlondono has quit [niven.freenode.net irc.freenode.net]

13:11 mattam has quit [niven.freenode.net irc.freenode.net]

13:11 bzzbzz has quit [niven.freenode.net irc.freenode.net]

13:11 Snark has quit [niven.freenode.net irc.freenode.net]

13:11 Amorphous has quit [niven.freenode.net irc.freenode.net]

13:11 rossberg has quit [niven.freenode.net irc.freenode.net]

13:11 batdog|gone has quit [niven.freenode.net irc.freenode.net]

13:11 j_n has quit [niven.freenode.net irc.freenode.net]

13:11 Submarine has quit [niven.freenode.net irc.freenode.net]

13:11 Herrchen_ has quit [niven.freenode.net irc.freenode.net]

13:11 jave has quit [niven.freenode.net irc.freenode.net]

13:11 mfurr has quit [niven.freenode.net irc.freenode.net]

13:11 haakonn has quit [niven.freenode.net irc.freenode.net]

13:11 Gueben has quit [niven.freenode.net irc.freenode.net]

13:11 gim has quit [niven.freenode.net irc.freenode.net]

13:11 ax has joined #ocaml

13:12 m3ga_ has joined #ocaml

13:12 TaXules has joined #ocaml

13:12 ulfdoz has joined #ocaml

13:12 shrimpx has joined #ocaml

13:12 mflux has joined #ocaml

13:12 Hadaka has joined #ocaml

13:12 Skal has joined #ocaml

13:12 slashvar[lri] has joined #ocaml

13:12 Hipo has joined #ocaml

13:12 Revision17 has joined #ocaml

13:12 pattern has joined #ocaml

13:12 calvin_ has joined #ocaml

13:12 joeytwiddle has joined #ocaml

13:12 mw has joined #ocaml

13:12 Demitar has joined #ocaml

13:12 det has joined #ocaml

13:12 Smerdyakov has joined #ocaml

13:12 ptolomy has joined #ocaml

13:12 juri has joined #ocaml

13:12 noj has joined #ocaml

13:12 petter__ has joined #ocaml

13:12 Nutssh has joined #ocaml

13:12 Mike_L has joined #ocaml

13:12 TeXitoi has joined #ocaml

13:12 __DL__ has joined #ocaml

13:12 _shawn has joined #ocaml

13:12 pango has joined #ocaml

13:12 avlondono has joined #ocaml

13:12 mattam has joined #ocaml

13:12 bzzbzz has joined #ocaml

13:12 Snark has joined #ocaml

13:12 Amorphous has joined #ocaml

13:12 rossberg has joined #ocaml

13:12 batdog|gone has joined #ocaml

13:12 j_n has joined #ocaml

13:12 Submarine has joined #ocaml

13:12 jave has joined #ocaml

13:12 Herrchen_ has joined #ocaml

13:12 Gueben has joined #ocaml

13:12 haakonn has joined #ocaml

13:12 gim has joined #ocaml

13:12 mfurr has joined #ocaml

13:13 pango has quit [niven.freenode.net irc.freenode.net]

13:13 Nutssh has quit [niven.freenode.net irc.freenode.net]

13:13 haakonn has quit [niven.freenode.net irc.freenode.net]

13:13 Gueben has quit [niven.freenode.net irc.freenode.net]

13:13 j_n has quit [niven.freenode.net irc.freenode.net]

13:13 avlondono has quit [niven.freenode.net irc.freenode.net]

13:13 batdog|gone has quit [niven.freenode.net irc.freenode.net]

13:13 mfurr has quit [niven.freenode.net irc.freenode.net]

13:13 rossberg has quit [niven.freenode.net irc.freenode.net]

13:13 Submarine has quit [niven.freenode.net irc.freenode.net]

13:13 gim has quit [niven.freenode.net irc.freenode.net]

13:13 Herrchen_ has quit [niven.freenode.net irc.freenode.net]

13:13 jave has quit [niven.freenode.net irc.freenode.net]

13:13 Amorphous has quit [niven.freenode.net irc.freenode.net]

13:13 Snark has quit [niven.freenode.net irc.freenode.net]

13:13 bzzbzz has quit [niven.freenode.net irc.freenode.net]

13:13 mattam has quit [niven.freenode.net irc.freenode.net]

13:13 TeXitoi has quit [niven.freenode.net irc.freenode.net]

13:13 __DL__ has quit [niven.freenode.net irc.freenode.net]

13:13 Mike_L has quit [niven.freenode.net irc.freenode.net]

13:13 _shawn has quit [niven.freenode.net irc.freenode.net]

13:13 slashvar[lri] has quit [niven.freenode.net irc.freenode.net]

13:13 pattern has quit [niven.freenode.net irc.freenode.net]

13:13 juri has quit [niven.freenode.net irc.freenode.net]

13:13 noj has quit [niven.freenode.net irc.freenode.net]

13:13 Skal has quit [niven.freenode.net irc.freenode.net]

13:13 ulfdoz has quit [niven.freenode.net irc.freenode.net]

13:13 TaXules has quit [niven.freenode.net irc.freenode.net]

13:13 shrimpx has quit [niven.freenode.net irc.freenode.net]

13:13 det has quit [niven.freenode.net irc.freenode.net]

13:13 joeytwiddle has quit [niven.freenode.net irc.freenode.net]

13:13 Demitar has quit [niven.freenode.net irc.freenode.net]

13:13 Revision17 has quit [niven.freenode.net irc.freenode.net]

13:13 mw has quit [niven.freenode.net irc.freenode.net]

13:13 Hipo has quit [niven.freenode.net irc.freenode.net]

13:13 calvin_ has quit [niven.freenode.net irc.freenode.net]

13:13 m3ga_ has quit [niven.freenode.net irc.freenode.net]

13:13 ptolomy has quit [niven.freenode.net irc.freenode.net]

13:13 Smerdyakov has quit [niven.freenode.net irc.freenode.net]

13:13 mflux has quit [niven.freenode.net irc.freenode.net]

13:13 Hadaka has quit [niven.freenode.net irc.freenode.net]

13:13 petter__ has quit [niven.freenode.net irc.freenode.net]

13:13 petter__ has joined #ocaml

13:13 noj has joined #ocaml

13:13 juri has joined #ocaml

13:13 ptolomy has joined #ocaml

13:13 Smerdyakov has joined #ocaml

13:13 det has joined #ocaml

13:13 Demitar has joined #ocaml

13:13 mw has joined #ocaml

13:13 joeytwiddle has joined #ocaml

13:13 calvin_ has joined #ocaml

13:13 pattern has joined #ocaml

13:13 Revision17 has joined #ocaml

13:13 Hipo has joined #ocaml

13:13 slashvar[lri] has joined #ocaml

13:13 Skal has joined #ocaml

13:13 Hadaka has joined #ocaml

13:13 mflux has joined #ocaml

13:13 shrimpx has joined #ocaml

13:13 ulfdoz has joined #ocaml

13:13 TaXules has joined #ocaml

13:13 m3ga has joined #ocaml

13:14 Nutssh has joined #ocaml

13:14 pango has joined #ocaml

13:14 avlondono has joined #ocaml

13:14 mattam has joined #ocaml

13:14 bzzbzz has joined #ocaml

13:14 Snark has joined #ocaml

13:14 Amorphous has joined #ocaml

13:14 rossberg has joined #ocaml

13:14 batdog|gone has joined #ocaml

13:14 j_n has joined #ocaml

13:14 Submarine has joined #ocaml

13:14 jave has joined #ocaml

13:14 Herrchen_ has joined #ocaml

13:14 Gueben has joined #ocaml

13:14 haakonn has joined #ocaml

13:14 gim has joined #ocaml

13:14 mfurr has joined #ocaml

13:15 slashvar[lri] has quit [niven.freenode.net irc.freenode.net]

13:15 pattern has quit [niven.freenode.net irc.freenode.net]

13:15 juri has quit [niven.freenode.net irc.freenode.net]

13:15 Skal has quit [niven.freenode.net irc.freenode.net]

13:15 noj has quit [niven.freenode.net irc.freenode.net]

13:15 TaXules has quit [niven.freenode.net irc.freenode.net]

13:15 ulfdoz has quit [niven.freenode.net irc.freenode.net]

13:15 shrimpx has quit [niven.freenode.net irc.freenode.net]

13:15 Hipo has quit [niven.freenode.net irc.freenode.net]

13:15 Revision17 has quit [niven.freenode.net irc.freenode.net]

13:15 calvin_ has quit [niven.freenode.net irc.freenode.net]

13:15 joeytwiddle has quit [niven.freenode.net irc.freenode.net]

13:15 mw has quit [niven.freenode.net irc.freenode.net]

13:15 Demitar has quit [niven.freenode.net irc.freenode.net]

13:15 det has quit [niven.freenode.net irc.freenode.net]

13:15 m3ga has quit [niven.freenode.net irc.freenode.net]

13:15 mflux has quit [niven.freenode.net irc.freenode.net]

13:15 Hadaka has quit [niven.freenode.net irc.freenode.net]

13:15 Smerdyakov has quit [niven.freenode.net irc.freenode.net]

13:15 ptolomy has quit [niven.freenode.net irc.freenode.net]

13:15 petter__ has quit [niven.freenode.net irc.freenode.net]

13:15 pango has quit [niven.freenode.net irc.freenode.net]

13:16 oracle1 has joined #ocaml

13:17 Mike_L has joined #ocaml

13:17 TeXitoi has joined #ocaml

13:17 __DL__ has joined #ocaml

13:17 _shawn has joined #ocaml

13:17 m3ga has joined #ocaml

13:17 TaXules has joined #ocaml

13:17 ulfdoz has joined #ocaml

13:17 shrimpx has joined #ocaml

13:17 Hipo has joined #ocaml

13:17 Revision17 has joined #ocaml

13:17 det has joined #ocaml

13:17 Demitar has joined #ocaml

13:17 mw has joined #ocaml

13:17 joeytwiddle has joined #ocaml

13:17 calvin_ has joined #ocaml

13:17 Skal has joined #ocaml

13:17 noj has joined #ocaml

13:17 mflux has joined #ocaml

13:17 slashvar[lri] has joined #ocaml

13:17 pattern has joined #ocaml

13:17 juri has joined #ocaml

13:17 petter__ has joined #ocaml

13:17 ptolomy has joined #ocaml

13:17 Smerdyakov has joined #ocaml

13:18 ptolomy has quit [niven.freenode.net irc.freenode.net]

13:18 Smerdyakov has quit [niven.freenode.net irc.freenode.net]

13:18 petter__ has quit [niven.freenode.net irc.freenode.net]

13:18 juri has quit [niven.freenode.net irc.freenode.net]

13:18 mflux has quit [niven.freenode.net irc.freenode.net]

13:18 slashvar[lri] has quit [niven.freenode.net irc.freenode.net]

13:18 pattern has quit [niven.freenode.net irc.freenode.net]

13:18 noj has quit [niven.freenode.net irc.freenode.net]

13:18 Skal has quit [niven.freenode.net irc.freenode.net]

13:18 Demitar has quit [niven.freenode.net irc.freenode.net]

13:18 det has quit [niven.freenode.net irc.freenode.net]

13:18 ulfdoz has quit [niven.freenode.net irc.freenode.net]

13:18 TaXules has quit [niven.freenode.net irc.freenode.net]

13:18 joeytwiddle has quit [niven.freenode.net irc.freenode.net]

13:18 calvin_ has quit [niven.freenode.net irc.freenode.net]

13:18 shrimpx has quit [niven.freenode.net irc.freenode.net]

13:18 mw has quit [niven.freenode.net irc.freenode.net]

13:18 Hipo has quit [niven.freenode.net irc.freenode.net]

13:18 Revision17 has quit [niven.freenode.net irc.freenode.net]

13:18 pango has joined #ocaml

13:20 ptolomy has joined #ocaml

13:20 Smerdyakov has joined #ocaml

13:20 Skal has joined #ocaml

13:20 noj has joined #ocaml

13:20 Revision17 has joined #ocaml

13:20 det has joined #ocaml

13:20 Demitar has joined #ocaml

13:20 joeytwiddle has joined #ocaml

13:20 mw has joined #ocaml

13:20 mflux has joined #ocaml

13:20 slashvar[lri] has joined #ocaml

13:20 pattern has joined #ocaml

13:20 juri has joined #ocaml

13:20 petter__ has joined #ocaml

13:21 Hipo has joined #ocaml

13:22 Naked has joined #ocaml

13:22 Naked is now known as Hadaka

13:24 ulfdoz has joined #ocaml

13:24 calvin_ has joined #ocaml

13:24 TaXules has joined #ocaml

13:24 shrimpx has joined #ocaml

13:36 m3ga has quit ["disappearing into the sunset"]

13:39 Benooit has joined #ocaml

13:41 Gueben has quit [Nick collision from services.]

13:41 Benooit is now known as Gueben

14:40 TaXules has quit [niven.freenode.net irc.freenode.net]

14:40 calvin_ has quit [niven.freenode.net irc.freenode.net]

14:40 shrimpx has quit [niven.freenode.net irc.freenode.net]

14:40 ulfdoz has quit [niven.freenode.net irc.freenode.net]

14:40 Hipo has quit [niven.freenode.net irc.freenode.net]

14:40 mw has quit [niven.freenode.net irc.freenode.net]

14:40 joeytwiddle has quit [niven.freenode.net irc.freenode.net]

14:40 Demitar has quit [niven.freenode.net irc.freenode.net]

14:40 det has quit [niven.freenode.net irc.freenode.net]

14:40 Revision17 has quit [niven.freenode.net irc.freenode.net]

14:40 petter__ has quit [niven.freenode.net irc.freenode.net]

14:40 juri has quit [niven.freenode.net irc.freenode.net]

14:40 pattern has quit [niven.freenode.net irc.freenode.net]

14:40 slashvar[lri] has quit [niven.freenode.net irc.freenode.net]

14:40 mflux has quit [niven.freenode.net irc.freenode.net]

14:40 noj has quit [niven.freenode.net irc.freenode.net]

14:40 Skal has quit [niven.freenode.net irc.freenode.net]

14:40 Hadaka has quit [niven.freenode.net irc.freenode.net]

14:40 ptolomy has quit [niven.freenode.net irc.freenode.net]

14:40 Smerdyakov has quit [niven.freenode.net irc.freenode.net]

14:40 pango has quit [niven.freenode.net irc.freenode.net]

14:40 Gueben has quit [niven.freenode.net irc.freenode.net]

14:40 TeXitoi has quit [niven.freenode.net irc.freenode.net]

14:40 __DL__ has quit [niven.freenode.net irc.freenode.net]

14:40 Mike_L has quit [niven.freenode.net irc.freenode.net]

14:40 _shawn has quit [niven.freenode.net irc.freenode.net]

14:40 haakonn has quit [niven.freenode.net irc.freenode.net]

14:40 j_n has quit [niven.freenode.net irc.freenode.net]

14:40 avlondono has quit [niven.freenode.net irc.freenode.net]

14:40 batdog|gone has quit [niven.freenode.net irc.freenode.net]

14:40 mfurr has quit [niven.freenode.net irc.freenode.net]

14:40 rossberg has quit [niven.freenode.net irc.freenode.net]

14:40 Submarine has quit [niven.freenode.net irc.freenode.net]

14:40 gim has quit [niven.freenode.net irc.freenode.net]

14:40 Herrchen_ has quit [niven.freenode.net irc.freenode.net]

14:40 jave has quit [niven.freenode.net irc.freenode.net]

14:40 Amorphous has quit [niven.freenode.net irc.freenode.net]

14:40 Snark has quit [niven.freenode.net irc.freenode.net]

14:40 bzzbzz has quit [niven.freenode.net irc.freenode.net]

14:40 mattam has quit [niven.freenode.net irc.freenode.net]

14:40 Nutssh has quit [niven.freenode.net irc.freenode.net]

14:41 ptolomy has joined #ocaml

14:41 Smerdyakov has joined #ocaml

14:41 Skal has joined #ocaml

14:41 noj has joined #ocaml

14:41 Revision17 has joined #ocaml

14:41 det has joined #ocaml

14:41 Demitar has joined #ocaml

14:41 joeytwiddle has joined #ocaml

14:41 mw has joined #ocaml

14:41 mflux has joined #ocaml

14:41 slashvar[lri] has joined #ocaml

14:41 pattern has joined #ocaml

14:41 juri has joined #ocaml

14:41 petter__ has joined #ocaml

14:41 Hipo has joined #ocaml

14:41 Hadaka has joined #ocaml

14:41 ulfdoz has joined #ocaml

14:41 calvin_ has joined #ocaml

14:41 TaXules has joined #ocaml

14:41 shrimpx has joined #ocaml

14:41 Nutssh has joined #ocaml

14:41 Gueben has joined #ocaml

14:41 Mike_L has joined #ocaml

14:41 TeXitoi has joined #ocaml

14:41 __DL__ has joined #ocaml

14:41 _shawn has joined #ocaml

14:41 pango has joined #ocaml

14:41 avlondono has joined #ocaml

14:41 mattam has joined #ocaml

14:41 bzzbzz has joined #ocaml

14:41 Snark has joined #ocaml

14:41 Amorphous has joined #ocaml

14:41 rossberg has joined #ocaml

14:41 batdog|gone has joined #ocaml

14:41 j_n has joined #ocaml

14:41 Submarine has joined #ocaml

14:41 jave has joined #ocaml

14:41 Herrchen_ has joined #ocaml

14:41 haakonn has joined #ocaml

14:41 gim has joined #ocaml

14:41 mfurr has joined #ocaml

15:00 Submarine has quit ["in Soviet Russia, Céline Dion owns you"]

15:05 Smerdyakov has quit ["go"]

15:06 shrimpx has quit [niven.freenode.net irc.freenode.net]

15:06 TaXules has quit [niven.freenode.net irc.freenode.net]

15:06 calvin_ has quit [niven.freenode.net irc.freenode.net]

15:06 ulfdoz has quit [niven.freenode.net irc.freenode.net]

15:06 Hipo has quit [niven.freenode.net irc.freenode.net]

15:06 mw has quit [niven.freenode.net irc.freenode.net]

15:06 joeytwiddle has quit [niven.freenode.net irc.freenode.net]

15:06 Demitar has quit [niven.freenode.net irc.freenode.net]

15:06 det has quit [niven.freenode.net irc.freenode.net]

15:06 Revision17 has quit [niven.freenode.net irc.freenode.net]

15:06 petter__ has quit [niven.freenode.net irc.freenode.net]

15:06 juri has quit [niven.freenode.net irc.freenode.net]

15:06 pattern has quit [niven.freenode.net irc.freenode.net]

15:06 slashvar[lri] has quit [niven.freenode.net irc.freenode.net]

15:06 mflux has quit [niven.freenode.net irc.freenode.net]

15:06 noj has quit [niven.freenode.net irc.freenode.net]

15:06 Skal has quit [niven.freenode.net irc.freenode.net]

15:06 Hadaka has quit [niven.freenode.net irc.freenode.net]

15:06 ptolomy has quit [niven.freenode.net irc.freenode.net]

15:07 Hadaka has joined #ocaml

15:07 ptolomy has joined #ocaml

15:07 Skal has joined #ocaml

15:07 noj has joined #ocaml

15:07 petter__ has joined #ocaml

15:07 mflux has joined #ocaml

15:07 slashvar[lri] has joined #ocaml

15:07 pattern has joined #ocaml

15:07 juri has joined #ocaml

15:07 shrimpx has joined #ocaml

15:07 TaXules has joined #ocaml

15:07 calvin_ has joined #ocaml

15:07 ulfdoz has joined #ocaml

15:07 Hipo has joined #ocaml

15:07 Revision17 has joined #ocaml

15:07 det has joined #ocaml

15:07 Demitar has joined #ocaml

15:07 joeytwiddle has joined #ocaml

15:07 mw has joined #ocaml

16:37 zigong has joined #ocaml

16:45 cmeme has joined #ocaml

16:45 cmeme has quit [Remote closed the connection]

16:46 Submarine has joined #ocaml

16:46 cmeme has joined #ocaml

16:47 cmeme has quit [Client Quit]

16:48 cmeme has joined #ocaml

16:55 pnou has joined #ocaml

17:11 Purice has joined #ocaml

17:13 Purice has left #ocaml []

17:20 pango has quit ["Leaving"]

17:20 pango has joined #ocaml

17:50 Purice has joined #ocaml

17:55 Purice has quit [Client Quit]

18:03 Submarine has quit ["in Soviet Russia, Céline Dion owns you"]

18:31 cmeme has quit [Connection timed out]

18:33 mrsolo has joined #ocaml

18:34 Snark has quit [No route to host]

18:35 ski has joined #ocaml

18:36 * ski wonders about debian package 'ocaml-doc' .. it says it's unavailable

18:36 <ski> wasn't it available just some weeks ago

18:37 <ski> ?

18:37 Snark has joined #ocaml

18:38 <mflux> packages.debian.org knows it, says it's nonfree though

18:38 <ski> hm, that might be it ..

18:38 <ski> ty

18:39 Submarine has joined #ocaml

18:48 Snark has quit ["Leaving"]

18:48 Snark has joined #ocaml

19:06 zigong has quit [Read error: 104 (Connection reset by peer)]

19:07 zigong has joined #ocaml

19:27 cmeme has joined #ocaml

19:27 cmeme has quit [Remote closed the connection]

19:28 cmeme has joined #ocaml

19:38 ski has quit ["Leaving"]

19:39 ski_ has joined #ocaml

19:40 ski_ is now known as ski

20:05 znutar has joined #ocaml

20:27 Amorphous has quit [Read error: 104 (Connection reset by peer)]

20:30 Amorphous has joined #ocaml

20:39 Submarine has quit ["Leaving"]

20:49 Snark has quit ["Leaving"]

20:55 ski has quit ["Stephen LaBerge !"]

21:52 zigong has quit [Remote closed the connection]

21:53 zigong has joined #ocaml

22:14 petter__ has quit ["BitchX-1.1-final -- just do it."]

22:42 noj has quit [niven.freenode.net irc.freenode.net]

22:42 Skal has quit [niven.freenode.net irc.freenode.net]

22:42 pango has quit [niven.freenode.net irc.freenode.net]

22:42 juri has quit [niven.freenode.net irc.freenode.net]

22:42 pattern has quit [niven.freenode.net irc.freenode.net]

22:42 slashvar[lri] has quit [niven.freenode.net irc.freenode.net]

22:42 mflux has quit [niven.freenode.net irc.freenode.net]

22:42 ptolomy has quit [niven.freenode.net irc.freenode.net]

22:42 Hadaka has quit [niven.freenode.net irc.freenode.net]

22:42 mrsolo has quit [niven.freenode.net irc.freenode.net]

22:42 pnou has quit [niven.freenode.net irc.freenode.net]

22:42 ulfdoz has quit [niven.freenode.net irc.freenode.net]

22:42 mw has quit [niven.freenode.net irc.freenode.net]

22:42 shrimpx has quit [niven.freenode.net irc.freenode.net]

22:42 joeytwiddle has quit [niven.freenode.net irc.freenode.net]

22:42 Demitar has quit [niven.freenode.net irc.freenode.net]

22:42 det has quit [niven.freenode.net irc.freenode.net]

22:42 Revision17 has quit [niven.freenode.net irc.freenode.net]

22:42 calvin_ has quit [niven.freenode.net irc.freenode.net]

22:42 Hipo has quit [niven.freenode.net irc.freenode.net]

22:42 TaXules has quit [niven.freenode.net irc.freenode.net]

22:42 zigong has quit [niven.freenode.net irc.freenode.net]

22:42 cmeme has quit [niven.freenode.net irc.freenode.net]

22:44 znutar has quit [niven.freenode.net irc.freenode.net]

22:44 haakonn has quit [niven.freenode.net irc.freenode.net]

22:44 j_n has quit [niven.freenode.net irc.freenode.net]

22:44 avlondono has quit [niven.freenode.net irc.freenode.net]

22:44 batdog|gone has quit [niven.freenode.net irc.freenode.net]

22:44 mfurr has quit [niven.freenode.net irc.freenode.net]

22:44 rossberg has quit [niven.freenode.net irc.freenode.net]

22:44 gim has quit [niven.freenode.net irc.freenode.net]

22:44 Herrchen_ has quit [niven.freenode.net irc.freenode.net]

22:44 jave has quit [niven.freenode.net irc.freenode.net]

22:44 bzzbzz has quit [niven.freenode.net irc.freenode.net]

22:44 mattam has quit [niven.freenode.net irc.freenode.net]

22:44 Nutssh has quit [niven.freenode.net irc.freenode.net]

22:44 Amorphous has quit [niven.freenode.net irc.freenode.net]

22:44 TeXitoi has quit [niven.freenode.net irc.freenode.net]

22:44 __DL__ has quit [niven.freenode.net irc.freenode.net]

22:44 Mike_L has quit [niven.freenode.net irc.freenode.net]

22:44 _shawn has quit [niven.freenode.net irc.freenode.net]

22:44 Gueben has quit [niven.freenode.net irc.freenode.net]

22:52 Amorphous has joined #ocaml

22:52 Gueben has joined #ocaml

22:52 Mike_L has joined #ocaml

22:52 TeXitoi has joined #ocaml

22:52 __DL__ has joined #ocaml

22:52 _shawn has joined #ocaml

22:53 znutar has joined #ocaml

22:53 Nutssh has joined #ocaml

22:53 avlondono has joined #ocaml

22:53 mattam has joined #ocaml

22:53 bzzbzz has joined #ocaml

22:53 rossberg has joined #ocaml

22:53 batdog|gone has joined #ocaml

22:53 j_n has joined #ocaml

22:53 jave has joined #ocaml

22:53 Herrchen_ has joined #ocaml

22:53 haakonn has joined #ocaml

22:53 gim has joined #ocaml

22:53 mfurr has joined #ocaml

22:54 Skal has joined #ocaml

22:54 noj has joined #ocaml

22:54 pango has joined #ocaml

22:54 Hadaka has joined #ocaml

22:54 ptolomy has joined #ocaml

22:54 cmeme has joined #ocaml

22:54 zigong has joined #ocaml

22:54 mrsolo has joined #ocaml

22:54 pnou has joined #ocaml

22:54 shrimpx has joined #ocaml

22:54 TaXules has joined #ocaml

22:54 calvin_ has joined #ocaml

22:54 ulfdoz has joined #ocaml

22:54 Hipo has joined #ocaml

22:54 Revision17 has joined #ocaml

22:54 det has joined #ocaml

22:54 Demitar has joined #ocaml

22:54 joeytwiddle has joined #ocaml

22:54 mw has joined #ocaml

22:54 mflux has joined #ocaml

22:54 slashvar[lri] has joined #ocaml

22:54 pattern has joined #ocaml

22:54 juri has joined #ocaml

22:56 clog has joined #ocaml

22:57 vincenz has joined #ocaml

22:57 Amorphous has joined #ocaml

22:57 Gueben has joined #ocaml

22:57 Mike_L has joined #ocaml

22:57 TeXitoi has joined #ocaml

22:57 __DL__ has joined #ocaml

22:57 _shawn has joined #ocaml

22:57 threeve has joined #ocaml

23:03 interferon has joined #ocaml

23:11 ulfdoz_ has joined #ocaml

23:17 TeXitoi has quit [kornbluth.freenode.net irc.freenode.net]

23:17 __DL__ has quit [kornbluth.freenode.net irc.freenode.net]

23:17 Mike_L has quit [kornbluth.freenode.net irc.freenode.net]

23:17 _shawn has quit [kornbluth.freenode.net irc.freenode.net]

23:17 Gueben has quit [kornbluth.freenode.net irc.freenode.net]

23:17 Amorphous has quit [kornbluth.freenode.net irc.freenode.net]

23:17 __DL__ has joined #ocaml

23:18 TeXitoi has joined #ocaml

23:18 _shawn has joined #ocaml

23:18 Amorphous has joined #ocaml

23:18 Gueben has joined #ocaml

23:19 Gueben has left #ocaml []

23:23 Mike_L has joined #ocaml

23:26 ulfdoz has quit [Read error: 110 (Connection timed out)]

23:29 mlh has joined #ocaml

23:38 zigong has quit [Connection timed out]