[00:05:59] *** Quits: rtb (~smuxi@95.91.255.24) (Ping timeout: 250 seconds) [01:05:44] *** Quits: koo7 (~kook@236.152.broadband3.iol.cz) (Quit: Ragequit) [01:06:58] *** Joins: koo7 (~kook@236.152.broadband3.iol.cz) [02:15:50] *** Quits: spectre (~fran@115.114.202.84.customer.cdi.no) (Ping timeout: 246 seconds) [02:19:33] *** Joins: spectre (~fran@115.114.202.84.customer.cdi.no) [04:01:42] *** Quits: Gurkenglas (Gurkenglas@dslb-178-012-149-211.178.012.pools.vodafone-ip.de) (Ping timeout: 260 seconds) [04:56:10] *** Quits: spectre (~fran@115.114.202.84.customer.cdi.no) (Ping timeout: 260 seconds) [10:12:17] *** Joins: Gurkenglas (Gurkenglas@dslb-178-012-149-211.178.012.pools.vodafone-ip.de) [10:21:53] *** Joins: spectei (~fran@unaffiliated/spectie) [11:01:11] *** Quits: spectei (~fran@unaffiliated/spectie) (Ping timeout: 250 seconds) [11:24:18] *** Joins: spectei (~fran@unaffiliated/spectie) [11:45:47] *** Quits: Gurkenglas (Gurkenglas@dslb-178-012-149-211.178.012.pools.vodafone-ip.de) (Read error: Connection reset by peer) [13:51:58] *** Quits: spectei (~fran@unaffiliated/spectie) (Ping timeout: 268 seconds) [14:00:48] *** Joins: spectei (~fran@unaffiliated/spectie) [15:38:35] *** Quits: spectei (~fran@unaffiliated/spectie) (Ping timeout: 252 seconds) [15:40:41] *** Joins: rtb (~smuxi@95.91.255.24) [15:59:13] *** Joins: spectei (~fran@unaffiliated/spectie) [17:24:11] *** Quits: rtb (~smuxi@95.91.255.24) (Ping timeout: 264 seconds) [18:20:02] *** Joins: rtb (~smuxi@95.91.255.24) [19:15:27] *** Joins: Gurkenglas (Gurkenglas@dslb-178-012-149-211.178.012.pools.vodafone-ip.de) [19:48:07] *** Quits: rtb (~smuxi@95.91.255.24) (Ping timeout: 250 seconds) [20:32:45] *** Joins: rtb (~smuxi@95.91.255.24) [22:43:54] has someone the paper "mäenpää ranta 1999 The type theory and type checker of GF", can't a download link on the net [22:44:22] and the ps.gz of the gf-bibliography site for this entry is down, too [22:44:43] can't find [22:45:40] by gf-biblio I mean this site: http://www.cse.chalmers.se/research/group/Language-technology/GF2/doc/gf-bibliography.html [22:45:55] but maybe this is too old, I just see [22:46:57] but again it seems structurally the same as: http://www.grammaticalframework.org/doc/gf-bibliography.html [23:46:59] *** Quits: rtb (~smuxi@95.91.255.24) (Ping timeout: 246 seconds)