Succesfully tested at Oct 24 04:38:43 2020

Curry Package sourceproggui

A simple GUI for highlighting functions in the source text of a Curry module.

To start the GUI:

> curry-showsource <module name>

Select highlighting by commands written on stdin:

+fun          -> highlight function "fun"
-fun          -> remove highlighting for function "fun"
<empty line>  -> terminate GUI
q             -> terminate GUI

Download

Checkout with CPM:
cypm checkout sourceproggui 1.0.0
Package source:
sourceproggui-1.0.0.tar.gz [browse]
Source repository:
https://git.ps.informatik.uni-kiel.de/curry-packages/sourceproggui.git