wok-4.x log TeXmacs/receipt
age | author | description |
---|---|---|
2010-12-17 | Pascal Bellard | TeXmacs: typo |
2010-12-17 | Pascal Bellard | Add TeXmacs (thanks Philippe) |
age | author | description |
---|---|---|
2010-12-17 | Pascal Bellard | TeXmacs: typo |
2010-12-17 | Pascal Bellard | Add TeXmacs (thanks Philippe) |