Commit 38061d1d authored by Michael Hanus's avatar Michael Hanus
Browse files

Merge branch 'master' of git@git-ps.informatik.uni-kiel.de:curry/curry-tools.git

Conflicts:
	.gitignore
	Makefile
	README
	browser/Makefile
parents 298002c8 aba28606
......@@ -26,6 +26,9 @@ generation of web user interfaces (WUIs).
`currydoc`:
A documentation generator for Curry programs.
`currytest`:
A test tool for Curry programs.
`genint`:
A program for generating module interfaces and source code
of a Curry module (used by the commands ":interface" and ":show"
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment