Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 19 | logplain |
-rwxr-xr-x | build.sh | 324 | logplain |
-rw-r--r-- | data.lp | 17689 | logplain |
d--------- | doc | 299 | logplain |
-rwxr-xr-x | gen-docs.sh | 770 | 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 | 16416 | logplain |
-rw-r--r-- | tangle.lp | 2785 | logplain |
-rwxr-xr-x | weave | 14672 | logplain |
-rw-r--r-- | weave.lp | 2430 | logplain |