diff options
Diffstat (limited to 'otherlibs/labltk/support/report.ml')
| -rw-r--r-- | otherlibs/labltk/support/report.ml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/otherlibs/labltk/support/report.ml b/otherlibs/labltk/support/report.ml new file mode 100644 index 000000000..ee040de37 --- /dev/null +++ b/otherlibs/labltk/support/report.ml @@ -0,0 +1,7 @@ +(* Report globals from protocol to tk *) +let openTk = openTk +and openTkClass = openTkClass +and openTkDisplayClass = openTkDisplayClass +and closeTk = closeTk +and mainLoop = mainLoop +and register = register |