-rw-r--r-- | 4277 | .gitignore | blob | history | raw |
-rw-r--r-- | 57 | Changes.txt | blob | history | raw |
-rw-r--r-- | 1224 | INSTALL.txt | blob | history | raw |
-rw-r--r-- | 35147 | LICENSE.txt | blob | history | raw |
-rw-r--r-- | 1610 | Makefile | blob | history | raw |
-rw-r--r-- | 2021 | 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 |