wok-next log TeXmacs/receipt

age author description
2017-11-11 Pascal Bellard Up TeXmacs (1.0.7.18), linux-dev (4.9.30)
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)