-rw-r--r-- | 4277 | .gitignore | blob | history | raw |
-rw-r--r-- | 136 | Changes.txt | blob | history | raw |
-rw-r--r-- | 1322 | INSTALL.txt | blob | history | raw |
-rw-r--r-- | 35147 | LICENSE.txt | blob | history | raw |
-rw-r--r-- | 1597 | Makefile | blob | history | raw |
-rw-r--r-- | 2046 | README.txt | blob | history | raw |
drwxr-xr-x | - | benchmarks | tree | history |
-rwxr-xr-x | 330 | configure | blob | history | raw |
drwxr-xr-x | - | doc | tree | history |
drwxr-xr-x | - | examples | tree | history |
-rw-r--r-- | 107719 | faustine-user-manual.pdf | blob | history | raw |
drwxr-xr-x | - | interpreter | tree | history |
drwxr-xr-x | - | lib | tree | history |