00:17 -!- stw(n=stw@fozzie.inodes.org) has joined #maxima 00:17 -!- stw(n=stw@fozzie.inodes.org) has joined #maxima 01:13 -!- unenough(i=unenough@CBL217-132-93-191.bb.netvision.net.il) has joined #maxima 01:13 cool! a maxima channel. 01:24 -!- stw(n=stw@fozzie.inodes.org) has joined #maxima 01:54 -!- jpromerobx(n=jpromero@201.244.31.198) has joined #maxima 02:09 -!- errordeveloper(n=errordev@78-86-1-110.zone2.bethere.co.uk) has joined #maxima 02:13 -!- cunzhang(n=apzc2529@218.7.43.195) has joined #maxima 02:19 -!- cunzhang(n=apzc2529@218.7.43.195) has left #maxima 02:40 -!- Prax01D(n=Prax01D@tor58-5-76-32.dynamic.rogerstelecom.net) has joined #maxima 06:36 -!- stw__(n=stw@e176166098.adsl.alicedsl.de) has joined #maxima 08:26 -!- ruxpin_(n=mikael@195.148.225.17) has joined #maxima 08:30 -!- Prax01D10D(n=Prax01D@tor58-24b-98-210.dynamic.rogerstelecom.net) has joined #maxima 10:34 -!- ruxpin_(n=mikael@195.148.225.17) has joined #maxima 10:34 -!- faroe(n=faroe@port487.ds1-od.adsl.cybercity.dk) has joined #maxima 10:34 -!- trebor_dki(n=user@mail.dki.tu-darmstadt.de) has joined #maxima 11:34 -!- gabkdlly(n=pannwitz@rudin.mi.fu-berlin.de) has joined #maxima 13:36 -!- gabkdlly(n=gabriel@dslb-088-073-018-105.pools.arcor-ip.net) has joined #maxima 14:36 -!- Prax01D(n=Prax01D@tor58-4-75-74.dynamic.rogerstelecom.net) has joined #maxima 15:34 -!- gabkdlly(n=gabriel@dslb-088-073-018-105.pools.arcor-ip.net) has left #maxima 15:34 -!- gabkdlly(n=gabriel@dslb-088-073-018-105.pools.arcor-ip.net) has joined #maxima 17:48 -!- szymon(n=szymon@bzs217.neoplus.adsl.tpnet.pl) has joined #maxima 20:33 -!- Prax01D(n=Prax01D@tor58-5-77-143.dynamic.rogerstelecom.net) has joined #maxima 23:41 -!- Slereah(n=slereah@ANantes-252-1-60-136.w82-126.abo.wanadoo.fr) has joined #maxima 23:41 -!- Slereah(n=slereah@ANantes-252-1-60-136.w82-126.abo.wanadoo.fr) has left #maxima