Commit 177414ab authored by Michael Hanus 's avatar Michael Hanus

README initialized

parent ceef59f6
Test
\ No newline at end of file
Installing Masala
-----------------
HOWTO install initial version, fill database,...
Using Masala
------------
https://www-ps.informatik.uni-kiel.de/~masala/spicey.cgi
Masala and CPM
--------------
The packages stored in Masala can be accessed by the
Curry Package Manager (CPM) by adding the following
configurations to CPM (either in the `~/.cpmrc` file
or as `--define` options in the `cypm` command):
PACKAGE_INDEX_URL=https://www-ps.informatik.uni-kiel.de/~masala/cpm/index.tar.gz
PACKAGE_TARFILES_URL=https://www-ps.informatik.uni-kiel.de/~masala/cpm/PACKAGES/
File mode changed from 100755 to 100644
Markdown is supported
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