1. 2009-05-10 [1] proofgeneral - wrong-type-argument stringp nil debian-us 2. 2002-08-08 [1] Bug#43095: alarms do not work in korganizer kde-bugs- 3. 2002-08-08 [1] [Konsole-devel] Bug#46268: no more possible to set fo konsole-d 4. 2002-08-08 [1] Bug#46268: no more possible to set font encoding kde-bugs- 5. 2002-05-19 [1] Bug#42794: kdvi doesn't print anymore kde-bugs- 6. 1999-08-11 [1] kdvi broken? mostly solved! kde-user 7. 1999-08-02 [1] kdvi broken? any help? kde-user 8. 1999-07-25 [1] kdehelp and compressed man or info pages kde 9. 1999-04-18 [1] Re: Where do you want to go tomorrow? kde 10. 1999-04-14 [1] Re: Where do you want to go tommorow? kde 11. 1999-04-01 [1] Re: kde-user kde 12. 1999-03-12 [1] Re: New application - kexplorer (now available) kde