tools/Makefile.debian.opt | 2 2 + 0 - 0 !
tools/Makefile.debian.out | 2 2 + 0 - 0 !
tools/Makefile.inc.unix | 3 1 + 2 - 0 !
3 files changed, 5 insertions(+), 2 deletions(-)

---

hd/lang/lexicon.txt | 4 2 + 2 - 0 !
1 file changed, 2 insertions(+), 2 deletions(-)

---

src/gwd.ml | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

---

setup/setup.ml | 17 10 + 7 - 0 !
1 file changed, 10 insertions(+), 7 deletions(-)

---

Makefile | 11 10 + 1 - 0 !
gui/Makefile | 16 7 + 9 - 0 !
2 files changed, 17 insertions(+), 10 deletions(-)

---

hd/etc/js.txt | 5 4 + 1 - 0 !
hd/etc/welcome.txt | 1 0 + 1 - 0 !
2 files changed, 4 insertions(+), 2 deletions(-)

---

src/Makefile | 5 3 + 2 - 0 !
1 file changed, 3 insertions(+), 2 deletions(-)

---

gui/gui.ml | 82 50 + 32 - 0 !
gui/gw/gui_lex.txt | 26 23 + 3 - 0 !
2 files changed, 73 insertions(+), 35 deletions(-)

---