01:33 -!- Prax01D(n=Prax01D@tor58-23b-94-42.dynamic.rogerstelecom.net) has joined #maxima
02:36 -!- szymon(n=szymon@cbh248.neoplus.adsl.tpnet.pl) has joined #maxima
03:59 -!- cunzhang(n=chatzill@218.7.43.195) has joined #maxima
04:01 <cunzhang> hi,how can I add an patch to Maxima?
06:35 -!- stw_(n=stw@e176180104.adsl.alicedsl.de) has joined #maxima
06:42 -!- ASau`(n=user@80.250.218.3) has joined #maxima
06:56 -!- istefano(n=istefano@65.39.87.25) has left #maxima
07:41 -!- Prax01D10D(n=Prax01D@tor58-23b-94-253.dynamic.rogerstelecom.net) has joined #maxima
07:41 -!- Gakusei`bnc(i=komputer@netzip.com.pl) has joined #maxima
07:41 -!- ASau`(n=user@80.250.218.3) has joined #maxima
07:41 -!- stw_(n=stw@e176180104.adsl.alicedsl.de) has joined #maxima
07:41 -!- szymon(n=szymon@cbh248.neoplus.adsl.tpnet.pl) has joined #maxima
07:41 -!- grandrew(n=grandrew@91.78.32.179) has joined #maxima
07:41 -!- ASau(n=user@79.111.18.27) has joined #maxima
07:41 -!- lisppaste4(n=lisppast@common-lisp.net) has joined #maxima
07:41 -!- AnMaster(n=AnMaster@unaffiliated/anmaster) has joined #maxima
07:41 -!- ruxpin(n=pkunk@195.148.225.17) has joined #maxima
07:41 -!- klutometis(i=klutomet@pdpc/supporter/active/klutometis) has joined #maxima
07:41 -!- lindi-(n=lindi@kulho150.adsl.netsonic.fi) has joined #maxima
07:41 -!- faroe(n=faroe@port487.ds1-od.adsl.cybercity.dk) has joined #maxima
13:01 -!- eggauah(n=daniel@201.82.11.172) has joined #maxima
13:40 -!- Prax01D(n=Prax01D@tor58-5-76-8.dynamic.rogerstelecom.net) has joined #maxima
14:22 -!- lisppaste4(n=lisppast@common-lisp.net) has joined #maxima
18:39 -!- grandrew(n=grandrew@91.78.32.226) has joined #maxima
18:48 <emma> I wonder what happened to Harald
18:49 <ASau> emma: everyone gets very busy from time to time.
18:58 -!- szymon(n=szymon@cbh248.neoplus.adsl.tpnet.pl) has joined #maxima
19:37 -!- Prax01D(n=Prax01D@tor58-23b-95-54.dynamic.rogerstelecom.net) has joined #maxima
20:02 <emma> I just hope to see Harald again in here is all. 
20:14 -!- Happy-Man(n=Happy-Ma@ip-87-238-3-138.static.adsl.cheapnet.it) has joined #maxima
20:14 <Happy-Man> good evening to all!
20:16 <Happy-Man> there is anyone here willing to help me with inequalities in maxima?
21:16 -!- trebor_home(n=trebor@dslb-084-058-205-081.pools.arcor-ip.net) has joined #maxima
22:16 -!- Qtpaxa(n=Qtpaxa@84.120.155.80.dyn.user.ono.com) has joined #maxima
22:17 -!- Qtpaxa(n=Qtpaxa@84.120.155.80.dyn.user.ono.com) has left #maxima
23:20 -!- HaraldG(n=rldprog@g4v1.g4.wien.funkfeuer.at) has joined #maxima
23:35 <HaraldG> Wow, that's the first time I'm buried in irc logs ...
23:43 <emma> HaraldG!
23:43 <HaraldG> Hi emma!
23:43 <emma> HaraldG I like to think some times I stir up a little chit-chat :)
23:44 <HaraldG> :)
23:45 <emma> HaraldG, do you ever speak to karlheg ?
23:45 <HaraldG> Never heard of him ...