Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 7 | logplain |
d--------- | css-images | 259 | logplain |
d--------- | figures | 599 | logplain |
-rw-r--r-- | galois-github-after-body.txt | 352 | logplain |
-rw-r--r-- | galois-github-before-body.txt | 765 | logplain |
-rw-r--r-- | galois-github-header.txt | 1117 | logplain |
-rw-r--r-- | galois-github.css | 3406 | logplain |
-rw-r--r-- | gettingStarted.md | 8770 | logplain |
-rw-r--r-- | headlessFiveUI.md | 8095 | logplain |
-rw-r--r-- | install.md | 3831 | logplain |
-rw-r--r-- | template.html | 2474 | logplain |