Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 7 | logplain |
-rw-r--r-- | Makefile | 499 | logplain |
d--------- | css-images | 259 | logplain |
d--------- | figures | 563 | 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 | 8783 | logplain |
d--------- | images | 109 | logplain |
-rw-r--r-- | install.md | 3445 | logplain |
-rw-r--r-- | reset.css | 1092 | logplain |
-rw-r--r-- | style.css | 5822 | logplain |
-rw-r--r-- | template.html | 2457 | logplain |