Uploaded at Nov 29 13:11:33 2020
Succesfully tested at Jan 24 07:52:51 2021

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 3.0.0
Package source:
sourceproggui-3.0.0.tar.gz [browse]
Source repository:
https://git.ps.informatik.uni-kiel.de/curry-packages/sourceproggui.git