[02:07:15] *** Joins: JuanDaugherty (~juan@cpe-198-255-197-105.buffalo.res.rr.com)
[02:59:02] *** Quits: sirdancealot (~sirdancea@109.107.211.244) (Ping timeout: 265 seconds)
[07:14:48] *** Joins: proteusguy_satri (~proteusgu@14.207.44.136)
[07:18:24] *** Quits: proteusguy (~proteusgu@180.183.111.240) (Ping timeout: 260 seconds)
[08:39:13] *** Quits: proteusguy_satri (~proteusgu@14.207.44.136) (Quit: Leaving)
[08:39:31] *** Joins: proteusguy (~proteusgu@14.207.44.136)
[09:03:09] *** Quits: proteusguy (~proteusgu@14.207.44.136) (Remote host closed the connection)
[09:36:07] *** Joins: sirdancealot (~sirdancea@236.152.broadband3.iol.cz)
[10:23:18] *** Quits: sirdancealot (~sirdancea@236.152.broadband3.iol.cz) (Ping timeout: 250 seconds)
[10:33:07] *** Joins: proteusguy (~proteusgu@14.207.44.136)
[11:13:52] *** Joins: Flammie_ (~flammie@uhh-wlan-fo-134-100-17-225.rrz.uni-hamburg.de)
[11:26:42] *** Joins: sirdancealot (~sirdancea@109.107.211.244)
[11:45:13] *** Joins: Flammie__ (~flammie@sandbox.multilingua.uni-hamburg.de)
[11:46:50] *** Quits: Flammie (~flammie@46-59-173-107.lsn6.wtnet.de) (Disconnected by services)
[11:46:56] *** Flammie__ is now known as Flammie
[11:51:31] *** Quits: Flammie_ (~flammie@uhh-wlan-fo-134-100-17-225.rrz.uni-hamburg.de) (Quit: leaving)
[12:25:13] *** Quits: ffFlammi1 (~flammie@PC018-1.multilingua.uni-hamburg.de) (Remote host closed the connection)
[14:03:22] <drbean> Interesting. ten = mkDet( mkNumeral "10"); is OK, but ten = mkDet( mkNumeral "ten"); errors out with, Internal error in GeneratePMCFG:     evalTerm (Predef.error "str2numeral: not a valid Sub10 t")
[14:28:19] *** Quits: sirdancealot (~sirdancea@109.107.211.244) (Ping timeout: 244 seconds)
[15:30:50] *** Joins: sirdancealot (~sirdancea@109.107.211.244)
[15:46:38] *** Quits: sirdancealot (~sirdancea@109.107.211.244) (Ping timeout: 252 seconds)
[16:12:58] *** daherb_ is now known as daherb
[16:15:45] *** Quits: JuanDaugherty (~juan@cpe-198-255-197-105.buffalo.res.rr.com) (Quit: Hibernate, reboot, exeunt, etc.)
[21:15:35] *** Joins: JuanDaugherty (~juan@cpe-198-255-197-105.buffalo.res.rr.com)
[21:50:25] *** Joins: sirdancealot (~sirdancea@210.14.broadband15.iol.cz)
[22:18:33] *** Quits: sirdancealot (~sirdancea@210.14.broadband15.iol.cz) (Ping timeout: 265 seconds)
[22:19:18] *** Joins: sirdancealot (~sirdancea@210.14.broadband15.iol.cz)
[23:17:33] *** Quits: sirdancealot (~sirdancea@210.14.broadband15.iol.cz) (Ping timeout: 245 seconds)