maude-help AT lists.siebelschool.illinois.edu
Subject: Maude-help mailing list
List archive
- [Maude-help] Has anyone used MAUDE with a Graphical User Interface Framework like QT or KDE? If the answer is no, I would care to try to integrate/interface QT or KDE to MAUDE and would like some guidance from those of you who are more versed in the fundamental o, Michael Hart, 07/16/2008
- [Maude-help] parallel/distributed, 64bit-ness, Scott Christley, 07/22/2008
Archive powered by MHonArc 2.6.16.