wok-6.x log TeXmacs/receipt

age author description
2010-12-17 Pascal Bellard TeXmacs: typo
2010-12-17 Pascal Bellard Add TeXmacs (thanks Philippe)