Contents of spicey-3.2.0

README.md
evolve_git.sh
package.json
docs/
- README.txt
- main.tex
- manual.tex
examples/
- BlogERD.curry
- TestSpicey.curry
- UniERD.curry
resource_files/
- Main.curry
- Makefile
- README.txt
- package.json
- Config/
  - Storage.curry
  - UserProcesses.curry
- Controller/
  - SpiceySystem.curry
- System/
  - Authentication.curry
  - Authorization.curry
  - Processes.curry
  - Routes.curry
  - SessionInfo.curry
  - Spicey.curry
- View/
  - SpiceySystem.curry
- css/
  - bootstrap.min.css
  - spicey.css
- data/
  - htaccess
- fonts/
- images/
  - foreign.png
  - number.png
  - spicey-logo.png
  - text.png
  - time.png
- js/
  - bootstrap.min.js
  - jquery.min.js
- public/
  - favicon.ico
  - index.html
src/
- Spicey/