wok log TeXmacs/receipt

age author description
2013-09-27 Pascal Bellard TeXmacs: remove util.h
2010-12-17 Pascal Bellard TeXmacs: typo
2010-12-17 Pascal Bellard Add TeXmacs (thanks Philippe)