[11:42:29] *** Joins: spectie (~fran@dhcp-ext-225232.eduroam.chalmers.se) [11:42:29] *** Quits: spectie (~fran@dhcp-ext-225232.eduroam.chalmers.se) (Changing host) [11:42:29] *** Joins: spectie (~fran@unaffiliated/spectie) [11:52:40] *** Quits: spectie (~fran@unaffiliated/spectie) (Read error: Operation timed out) [12:01:07] *** Joins: myoriel (~Myoriel@dhcp-138-246-87-51.dynamic.eduroam.mwn.de) [12:48:53] *** Quits: myoriel (~Myoriel@dhcp-138-246-87-51.dynamic.eduroam.mwn.de) (Ping timeout: 276 seconds) [13:48:39] *** Joins: spectie (~fran@unaffiliated/spectie) [14:03:29] *** Joins: myoriel (~Myoriel@host188-2.natpool.mwn.de) [14:27:44] *** Quits: myoriel (~Myoriel@host188-2.natpool.mwn.de) (Ping timeout: 252 seconds) [14:57:25] *** Quits: spectie (~fran@unaffiliated/spectie) (Ping timeout: 255 seconds) [15:42:06] *** Joins: myoriel (~Myoriel@2001:a60:13a4:3001:226:c7ff:fe77:6686) [16:36:43] What is the purpose of the 'tokenize' function in the GF-shell? [17:24:51] *** Joins: spectie (~fran@unaffiliated/spectie) [17:58:29] *** Quits: spectie (~fran@unaffiliated/spectie) (Read error: Operation timed out) [18:25:22] *** Joins: spectie (~fran@unaffiliated/spectie) [18:31:10] *** Quits: spectie (~fran@unaffiliated/spectie) (Ping timeout: 252 seconds) [20:10:48] *** Quits: Eidel (~eidel@c83-249-247-253.bredband.comhem.se) (Read error: Operation timed out) [20:14:06] *** Joins: Eidel (~eidel@c83-249-247-253.bredband.comhem.se) [23:25:20] *** Quits: myoriel (~Myoriel@2001:a60:13a4:3001:226:c7ff:fe77:6686) (Ping timeout: 245 seconds)