Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / labltk
Commits:
-
00a15de6
by Stephane Glondu at 2019-08-03T11:20:49Z
-
096221b8
by Stephane Glondu at 2019-08-03T11:21:47Z
-
a0d93430
by Stephane Glondu at 2019-08-03T11:22:37Z
-
76480fe0
by Stephane Glondu at 2019-08-03T11:31:42Z
30 changed files:
- Changes
- INSTALL
- Makefile
- README.md
- browser/Makefile.shared
- browser/editor.ml
- browser/fileselect.ml
- browser/jg_completion.ml
- browser/main.ml
- browser/searchid.ml
- browser/searchpos.ml
- browser/setpath.ml
- browser/shell.ml
- browser/typecheck.ml
- browser/viewer.ml
- builtin/rawimg.ml
- compiler/compile.ml
- compiler/lexer.mll
- compiler/maincompile.ml
- compiler/parser.mly
- compiler/printer.ml
- compiler/tables.ml
- + config/auto-aux/readconf.mk
- configure
- jpf/fileselect.ml
- jpf/jpf_font.ml
- support/META
- support/Makefile
- support/cltkCaml.c
- support/cltkDMain.c