https://github.com/bh11/crisp
Tip revision: 3c9490dbbf8a4802b9c23e9a7426280601d49f09 authored by bh11 on 20 December 2015, 01:47:50 UTC
GAP output has changed slightly, adapt manual
GAP output has changed slightly, adapt manual
Tip revision: 3c9490d
| File | Mode | Size |
|---|---|---|
| doc | ||
| lib | ||
| tst | ||
| .gitignore | -rw-r--r-- | 454 bytes |
| LICENSE | -rw-r--r-- | 1.3 KB |
| PackageInfo.g | -rw-r--r-- | 3.9 KB |
| README | -rw-r--r-- | 2.0 KB |
| index.html | -rw-r--r-- | 2.2 KB |
| init.g | -rw-r--r-- | 983 bytes |
| logo.pld | -rw-r--r-- | 14.1 KB |
| logo.png | -rw-r--r-- | 29.8 KB |
| make_doc.sh | -rwxr-xr-x | 101 bytes |
| make_html.sh | -rwxr-xr-x | 149 bytes |
| make_tar.sh | -rwxr-xr-x | 2.0 KB |
| read.g | -rw-r--r-- | 913 bytes |
| version_numbers.txt | -rw-r--r-- | 312 bytes |
