Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 19 | logplain |
-rwxr-xr-x | build.sh | 324 | logplain |
-rw-r--r-- | data.lp | 17975 | logplain |
d--------- | doc | 335 | logplain |
-rwxr-xr-x | gen-docs.sh | 940 | logplain |
-rwxr-xr-x | gen-freestanding.sh | 416 | logplain |
-rw-r--r-- | log.lp | 2324 | logplain |
d--------- | misc | 148 | logplain |
d--------- | src | 146 | logplain |
-rwxr-xr-x | tangle | 16416 | logplain |
-rw-r--r-- | tangle.lp | 3066 | logplain |
-rwxr-xr-x | weave | 14672 | logplain |
-rw-r--r-- | weave.lp | 2711 | logplain |