diff options
author | Guido Falsi <madpilot@FreeBSD.org> | 2015-05-04 15:39:41 +0000 |
---|---|---|
committer | Guido Falsi <madpilot@FreeBSD.org> | 2015-05-04 15:39:41 +0000 |
commit | cb214a8a7bdc497f794275b729a70ec66437e2a7 (patch) | |
tree | d3277f9231badd99963dd8544279eb4dc45b586e /math/alt-ergo/Makefile | |
parent | Install META file, needed by the ports using ocaml-findlib. (diff) |
Objective Caml interface to Tk
LablTk is an interface to the Tcl/Tk GUI framework. It allows to
develop GUI applications in a speedy and type safe way. A legacy
Camltk interface is included. The OCamlBrowser library viewer is
also part of this project.
WWW: https://forge.ocamlcore.org/projects/labltk/
PR: 195737
Submitted by: Michael Grunewald <michipili at gmail.com>
Notes
Notes:
svn path=/head/; revision=385412
Diffstat (limited to 'math/alt-ergo/Makefile')
0 files changed, 0 insertions, 0 deletions