CurryBrowser
------------

A tool to browse through the modules and functions of a Curry program,
show them in various formats, and analyze their properties.

Note:
Functionalities of the Browser marked by "(DOT)" require an
installed graph visualization tool (dot, see below), otherwise
they have no effect.

Developed by
Michael Hanus (CAU Kiel, Germany, mh@informatik.uni-kiel.de)

Version of 07/09/2016


Software requirements:
----------------------

* A Curry implementation like PAKCS (http:/www.informatik.uni-kiel.de/~pakcs)
  or KiCS2 (http://www-ps.informatik.uni-kiel.de/kics2/)
  for compiling and running the browser

* Tcl/Tk (for running the browser GUI)
  http://www.scriptics.com/software/tcltk/

* dot/ghostview (for visualizing import graphs):
  http://www.graphviz.org/

  Adapt definition of dot viewer according to your local installation
  with the menu "Settings". If you don't have this software,
  you can't use the browser functions marked by "(DOT)".
