02:39 -!- Prax01D(n=Prax01D@tor58-23b-94-24.dynamic.rogerstelecom.net) has joined #maxima
06:35 -!- stw_(n=stw@e176171242.adsl.alicedsl.de) has joined #maxima
06:36 -!- stw__(n=stw@e176171242.adsl.alicedsl.de) has joined #maxima
08:39 -!- Prax01D(n=Prax01D@tor58-23b-94-71.dynamic.rogerstelecom.net) has joined #maxima
10:16 -!- trebor_dki(n=user@mail.dki.tu-darmstadt.de) has joined #maxima
10:33 -!- gabkdlly(n=gabriel@dslb-088-073-045-095.pools.arcor-ip.net) has joined #maxima
13:58 -!- lisppaste4(n=lisppast@common-lisp.net) has joined #maxima
14:42 -!- Prax01D(n=Prax01D@149.99.86.177) has joined #maxima
17:54 -!- gabkdlly(n=gabriel@dslb-088-073-045-095.pools.arcor-ip.net) has joined #maxima
17:59 -!- gabkdlly(n=gabriel@dslb-088-073-045-095.pools.arcor-ip.net) has left #maxima
18:12 -!- klutometis(n=klutomet@klutometis.wikitex.org) has joined #maxima
20:37 -!- Prax01D(n=Prax01D@tor58-4-75-106.dynamic.rogerstelecom.net) has joined #maxima
21:35 -!- szymon(n=szymon@cbs139.neoplus.adsl.tpnet.pl) has joined #maxima
21:40 -!- szymon_(n=szymon@cbs139.neoplus.adsl.tpnet.pl) has joined #maxima