#! /bin/sh # (* exec /opt/godi/bin/ocaml "$0" "$@" *) use "topfind";; #require "wdialog";; #use "index.ml";;
