01:52 -!- Prax01D(n=Prax01D@tor58-5-76-160.dynamic.rogerstelecom.net) has joined #maxima
03:21 -!- lisppaste4(n=lisppast@common-lisp.net) has joined #maxima
03:21 -!- trebor_home(n=trebor@L1cc2.l.pppool.de) has joined #maxima
03:22 -!- Prax01D(n=Prax01D@tor58-5-76-160.dynamic.rogerstelecom.net) has joined #maxima
03:23 -!- trebor_dki(n=user@mail.dki.tu-darmstadt.de) has joined #maxima
07:40 -!- Prax01D(n=Prax01D@tor58-23b-94-33.dynamic.rogerstelecom.net) has joined #maxima
13:35 -!- trebor_home(n=trebor@L0014.l.pppool.de) has joined #maxima
13:47 -!- Prax01D(n=Prax01D@tor58-5-77-76.dynamic.rogerstelecom.net) has joined #maxima
16:34 -!- trebor_home(n=trebor@L0014.l.pppool.de) has left #maxima
18:55 <trebor_dki> yes.
19:46 -!- Prax01D(n=Prax01D@149.99.96.123) has joined #maxima
23:45 -!- HaraldG(n=rldprog@chello080108070152.13.11.univie.teleweb.at) has joined #maxima