Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | CHANGELOG.md | 3406 | logplain |
-rw-r--r-- | INSTALL.md | 7078 | logplain |
-rw-r--r-- | LICENCE | 19102 | logplain |
-rw-r--r-- | Makefile | 5295 | logplain |
-rw-r--r-- | README.md | 668 | logplain |
d--------- | doc | 485 | logplain |
-rwxr-xr-x | memoize-clean.pl | 5246 | logplain |
-rwxr-xr-x | memoize-clean.py | 6344 | logplain |
-rwxr-xr-x | memoize-extract.pl | 28572 | logplain |
-rwxr-xr-x | memoize-extract.py | 25439 | logplain |
-rw-r--r-- | memoize.edtx | 151307 | logplain |
-rw-r--r-- | memoize.ins | 1801 | logplain |