Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 13 | logplain |
-rwxr-xr-x | build.sh | 324 | logplain |
-rw-r--r-- | data.lp | 17142 | logplain |
d--------- | doc | 299 | logplain |
-rwxr-xr-x | gen-docs.sh | 731 | logplain |
-rwxr-xr-x | gen-freestanding.sh | 416 | logplain |
-rw-r--r-- | log.lp | 2038 | logplain |
d--------- | misc | 328 | logplain |
d--------- | src | 146 | logplain |
-rwxr-xr-x | tangle | 16376 | logplain |
-rw-r--r-- | tangle.lp | 2785 | logplain |
-rwxr-xr-x | weave | 14672 | logplain |
-rw-r--r-- | weave.lp | 2430 | logplain |