[02:56:07] *** Parts: e3928a3bc (b3d2d528@gateway/web/freenode/ip.179.210.213.40) () [03:33:38] *** Joins: proteusguy (~proteusgu@183.88.190.241) [03:36:05] *** Quits: proteus-guy (~proteusgu@14.207.81.101) (Ping timeout: 240 seconds) [07:14:38] --concr-string flag? [11:48:37] *** Joins: proteus-guy (~proteus-g@cm-134-196-84-248.revip18.asianet.co.th) [14:29:53] drbean: https://github.com/GrammaticalFramework/GF/blob/master/src/tools/gftest/README.md [14:51:42] *** Joins: e3928a3bc (b3d2d528@gateway/web/freenode/ip.179.210.213.40) [14:54:53] *** Quits: proteus-guy (~proteus-g@cm-134-196-84-248.revip18.asianet.co.th) (Ping timeout: 260 seconds) [17:05:23] *** Joins: proteus-guy (~proteus-g@cm-134-196-84-233.revip18.asianet.co.th) [17:18:49] *** Quits: e3928a3bc (b3d2d528@gateway/web/freenode/ip.179.210.213.40) (Ping timeout: 260 seconds) [18:41:35] *** Quits: proteus-guy (~proteus-g@cm-134-196-84-233.revip18.asianet.co.th) (Ping timeout: 240 seconds) [18:41:59] *** Joins: proteus-guy (~proteus-g@cm-134-196-84-233.revip18.asianet.co.th) [18:55:42] *** Quits: proteus-guy (~proteus-g@cm-134-196-84-233.revip18.asianet.co.th) (Remote host closed the connection) [18:57:34] *** Joins: proteus-guy (~proteus-g@cm-134-196-84-233.revip18.asianet.co.th) [18:59:47] *** Quits: proteus-guy (~proteus-g@cm-134-196-84-233.revip18.asianet.co.th) (Excess Flood) [19:00:12] *** Joins: proteus-guy (~proteus-g@cm-134-196-84-233.revip18.asianet.co.th) [19:04:47] *** Quits: proteus-guy (~proteus-g@cm-134-196-84-233.revip18.asianet.co.th) (Excess Flood) [19:05:12] *** Joins: proteus-guy (~proteus-g@cm-134-196-84-233.revip18.asianet.co.th) [19:05:12] *** Quits: proteus-guy (~proteus-g@cm-134-196-84-233.revip18.asianet.co.th) (Remote host closed the connection) [19:08:38] *** Joins: proteus-guy (~proteus-g@cm-134-196-84-233.revip18.asianet.co.th) [19:17:09] *** Quits: proteus-guy (~proteus-g@cm-134-196-84-233.revip18.asianet.co.th) (Ping timeout: 264 seconds) [19:32:33] *** Joins: proteus-guy (~proteus-g@cm-134-196-84-233.revip18.asianet.co.th) [19:36:04] *** Quits: proteus-guy (~proteus-g@cm-134-196-84-233.revip18.asianet.co.th) (Remote host closed the connection) [19:38:03] *** Joins: proteus-guy (~proteus-g@cm-134-196-84-233.revip18.asianet.co.th) [19:43:01] *** Quits: proteus-guy (~proteus-g@cm-134-196-84-233.revip18.asianet.co.th) (Remote host closed the connection) [19:44:38] *** Joins: proteus-guy (~proteus-g@cm-134-196-84-233.revip18.asianet.co.th)