[01:39:24] *** Quits: mmehdig (~mmehdig@cust-95-80-47-120.csbnet.se) (Remote host closed the connection) [07:41:48] *** Joins: mmehdig (~mmehdig@cust-95-80-47-120.csbnet.se) [07:46:29] *** Quits: mmehdig (~mmehdig@cust-95-80-47-120.csbnet.se) (Ping timeout: 264 seconds) [07:53:04] haha I logged on precisely to add the info about logs to the channel topic :) [07:53:31] unfortunately It seems Google has indexed /irc/ but not the actual log files therein [07:54:19] I was hoping we could search the logs by using [07:54:24] site:www.grammaticalframework.org/irc/ kittens [07:54:27] or similar [08:19:19] *** Joins: myoriel (~Myoriel@aftr-88-217-180-46.dynamic.mnet-online.de) [08:23:39] *** Joins: mmehdig (~mmehdig@cust-95-80-47-120.csbnet.se) [08:59:18] *** Quits: myoriel (~Myoriel@aftr-88-217-180-46.dynamic.mnet-online.de) (Ping timeout: 258 seconds) [09:13:13] *** Quits: spectie (~fran@unaffiliated/spectie) (Ping timeout: 265 seconds) [09:30:24] *** Joins: spectie (~fran@unaffiliated/spectie) [09:31:12] *** Joins: chru (~christina@2001:638:504:2099:28f8:45c0:fdca:1130) [09:52:03] *** Quits: mmehdig (~mmehdig@cust-95-80-47-120.csbnet.se) (Remote host closed the connection) [09:55:10] *** Joins: mmehdig (~mmehdig@cust-95-80-47-120.csbnet.se) [09:57:31] *** Quits: mmehdig (~mmehdig@cust-95-80-47-120.csbnet.se) (Read error: Connection reset by peer) [09:57:40] *** Joins: mmehdig (~mmehdig@cust-95-80-47-120.csbnet.se) [10:06:23] *** Quits: mmehdig (~mmehdig@cust-95-80-47-120.csbnet.se) (Remote host closed the connection) [13:10:16] *** Joins: mmehdig (~mmehdig@edu12158.guwlan.gu.se) [13:11:28] happy GF course exercise session! [13:11:59] actually this will be my last, next week I'm in utrecht and jstar is here, and the week after that I'm in iceland and aarne will do the final exercise session [13:24:01] :) [14:25:31] whoa we got some hc error messages [14:25:32] Internal error in GeneratePMCFG: descend (CStr 109,CNil,CProj (LIdent (Id {rawId2utf8 = "c2"})) CNil) [14:44:29] (nevermind, solved that) [14:57:28] *** Quits: jmvanel (~jmvanel@175.0.88.79.rev.sfr.net) (Ping timeout: 245 seconds) [15:02:16] *** Quits: mmehdig (~mmehdig@edu12158.guwlan.gu.se) (Remote host closed the connection) [15:46:58] *** Joins: jmvanel (~jmvanel@78.193.21.40) [16:14:38] *** Quits: spectie (~fran@unaffiliated/spectie) (Ping timeout: 240 seconds) [16:58:57] *** Joins: spectie (~fran@unaffiliated/spectie) [17:20:55] *** Joins: myoriel (~Myoriel@aftr-88-217-180-46.dynamic.mnet-online.de) [17:32:08] *** Quits: chru (~christina@2001:638:504:2099:28f8:45c0:fdca:1130) (Quit: Leaving.) [18:22:58] *** Joins: mmehdig (~mmehdig@cust-95-80-47-120.csbnet.se) [18:53:29] *** Quits: myoriel (~Myoriel@aftr-88-217-180-46.dynamic.mnet-online.de) (Ping timeout: 252 seconds) [19:07:59] *** Joins: myoriel (~Myoriel@2001:a60:13cd:9901:c1af:2e41:4ec8:cf4b) [20:01:54] *** Quits: jmvanel (~jmvanel@78.193.21.40) (Ping timeout: 240 seconds) [21:37:20] *** Joins: jmvanel (~jmvanel@175.0.88.79.rev.sfr.net) [23:40:23] *** Quits: myoriel (~Myoriel@2001:a60:13cd:9901:c1af:2e41:4ec8:cf4b) (Ping timeout: 245 seconds) [23:47:38] *** Quits: jmvanel (~jmvanel@175.0.88.79.rev.sfr.net) (Ping timeout: 240 seconds) [23:54:19] *** Quits: Eidel_ (~eidel@c83-249-247-253.bredband.comhem.se) (Ping timeout: 240 seconds) [23:56:34] *** Joins: Eidel (~eidel@c83-249-247-253.bredband.comhem.se)