Сначало кинулся поправлять torsmo чтобы он умел смотреть папки в формате Maildir, но уже позже нашел фишку еще проще.

Об остальном: fvwm и больше ни чего :)

В догонку про emacs : (emacs21+latex)*utf-8

1. для latex необходимо добавить пакет latex-ucs
2. для emacs (current-language-environment "UTF-8")
3. перевел все файлы при помоши recode koi8-r..utf-8
4. продолжаем работу ;)

P.S. правда клава мозги делала

Читаем полученные мессаги, отправляем новые (сохраняем), получение контактов из SIM-карты. Эстесвенно, screenshot с емулятора, но проверенно на ipaq тоже.

AtelierB - от спецификации до генерации кода. Код генерируется AtelierB, у нас имеется генератор для С, С++ и Ада. Знающие наверное догадались - в основе этого лежит метод B (предшественник Z). В основе всего этого лежит логика предикатов, теория множеств и так далее. Вот тут немного теории http://stud.math.rsu.ru/deikstra/4.htm
В начале дается математическая модель поставленной задачи (MACHINE), затем она рафинируется (RAFINEMENT), то есть конкретизируем эту мат. модель. Так вот, к концу этой цепочки конкретизации, мы пишем нашу начальную мат. модель на языке B0 (как любой другой язык прог-я, тока он для AtelierB). На протяжении всего рафинирования AtelierB следит чтобы каждое звено цепи соответсвовало мат. модели. Если это доказанно, то остается тока выбрать язык на котором будет сгенерирован код. И никаких тестов на не надо делать! Скомпилировал и пользуйся.
На screen-shot виднеется мат. модел графа, определения что такое наикратчайший путь между двума узлами графа и так далее. Зеленый свет означает че мат. модель доказанна! ;)
официальный сайт Ателёр Б http://www.atelierb.societe.com/index_uk.html
результаты использования http://www.atelierb.societe.com/PAGE_B//uk/ref-01.htm