[00:41:29] *** Quits: spectre (~fran@static-212-247-252-138.cust.tele2.se) (Ping timeout: 246 seconds) [01:07:59] *** Joins: spectre (~fran@static-212-247-252-138.cust.tele2.se) [01:21:21] *** Joins: crazydiamond (~crazydiam@a117.sub73.net78.udm.net) [02:53:10] *** Quits: Gurkenglas (Gurkenglas@dslb-188-103-077-131.188.103.pools.vodafone-ip.de) (Ping timeout: 240 seconds) [03:58:34] *** Quits: spectre (~fran@static-212-247-252-138.cust.tele2.se) (Ping timeout: 260 seconds) [04:36:50] *** Quits: drbean (~drbean@124.219.82.173) (Ping timeout: 260 seconds) [04:43:33] *** Joins: drbean (~drbean@124.219.83.135) [07:08:23] Looks like someone went to some lengths to explain how paradox/equinox works in 2010. http://www.montefiore.ulg.ac.be/~lens/logic/paradox/paradox.html [07:08:53] But it seems to be abandonware now. [07:28:44] *** Joins: spectre (~fran@static-212-247-252-138.cust.tele2.se) [07:38:20] *** Quits: spectre (~fran@static-212-247-252-138.cust.tele2.se) (Ping timeout: 246 seconds) [08:08:00] *** Joins: spectre (~fran@w193-11-200-249.eduroam.sunet.se) [08:35:46] *** Quits: drbean (~drbean@124.219.83.135) (Ping timeout: 260 seconds) [08:48:50] *** Quits: spectre (~fran@w193-11-200-249.eduroam.sunet.se) (Ping timeout: 240 seconds) [10:25:37] *** Joins: spectre (~fran@195.69.7.6) [10:43:22] *** Joins: Gurkenglas (Gurkenglas@dslb-188-103-077-131.188.103.pools.vodafone-ip.de) [10:50:50] *** Quits: Gurkenglas (Gurkenglas@dslb-188-103-077-131.188.103.pools.vodafone-ip.de) (Ping timeout: 240 seconds) [11:25:10] *** Quits: spectre (~fran@195.69.7.6) (Ping timeout: 260 seconds) [11:36:35] *** Joins: drbean (~drbean@124.219.82.211) [12:27:09] *** Joins: Gurkenglas (Gurkenglas@dslb-188-103-077-131.188.103.pools.vodafone-ip.de) [12:51:58] *** Quits: drbean (~drbean@124.219.82.211) (Ping timeout: 260 seconds) [12:57:23] *** Joins: drbean (~drbean@124.219.83.57) [13:31:18] *** Joins: spectre (~fran@115.114.202.84.customer.cdi.no) [13:34:18] *** Joins: drbean_ (~drbean@124.219.83.48) [13:35:41] *** Quits: drbean (~drbean@124.219.83.57) (Ping timeout: 246 seconds) [13:41:22] *** ppnkk_ is now known as ppnkk [13:43:23] *** Quits: drbean_ (~drbean@124.219.83.48) (Ping timeout: 246 seconds) [13:49:54] *** Joins: drbean (~drbean@124.219.82.142) [13:52:25] *** Joins: drbean_ (~drbean@124.219.82.44) [13:54:35] *** Quits: drbean (~drbean@124.219.82.142) (Ping timeout: 246 seconds) [13:59:08] *** Quits: drbean_ (~drbean@124.219.82.44) (Ping timeout: 246 seconds) [14:00:44] *** Joins: drbean (~drbean@124.219.83.98) [14:02:40] *** Joins: drbean_ (~drbean@124.219.83.165) [14:05:26] *** Quits: drbean (~drbean@124.219.83.98) (Ping timeout: 246 seconds) [17:27:22] *** Quits: Gurkenglas (Gurkenglas@dslb-188-103-077-131.188.103.pools.vodafone-ip.de) (Read error: Connection reset by peer) [17:27:39] *** Joins: Gurkenglas (Gurkenglas@dslb-188-103-077-131.188.103.pools.vodafone-ip.de) [20:28:00] *** Joins: koo8 (~kook@236.152.broadband3.iol.cz) [22:14:17] *** Joins: jstar (~jstar@unaffiliated/jstar) [22:24:57] *** Joins: esg (~emil@esg.xen.prgmr.com) [22:25:34] *** Joins: vin-ivar (~vinit-iva@unaffiliated/vin-ivar) [23:18:04] *** Quits: vin-ivar (~vinit-iva@unaffiliated/vin-ivar) (*.net *.split) [23:18:04] *** Quits: esg (~emil@esg.xen.prgmr.com) (*.net *.split) [23:18:06] *** Quits: koo7 (~kook@236.152.broadband3.iol.cz) (*.net *.split) [23:18:06] *** Quits: daherb (~daherb@c83-248-143-133.bredband.comhem.se) (*.net *.split) [23:40:39] *** Joins: esg (~emil@esg.xen.prgmr.com) [23:42:30] *** Joins: koo7 (~kook@85.70.152.236) [23:44:06] *** Joins: vin-ivar (~vinit-iva@unaffiliated/vin-ivar) [23:47:17] *** Joins: daherb (~daherb@c83-248-143-133.bredband.comhem.se) [23:55:56] *** Joins: daherb_ (~daherb@c83-248-143-133.bredband.comhem.se)