PAKCS Tools
===========

This directory contains various tools and (deprecated) libraries
which are currently only available for the PAKCS system.

Currently it contains:

emacs:
   Emacs mode for editing Curry programs

gedit:
   Curry mode for gedit
