Uploaded at Mar 14 16:03:00 2023 (UTC)
Succesfully tested at Feb 22 05:44:45 2024

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