Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | CHANGELOG.md | 2964 | 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 | 5248 | logplain |
-rwxr-xr-x | memoize-clean.py | 6344 | logplain |
-rwxr-xr-x | memoize-extract.pl | 28466 | logplain |
-rwxr-xr-x | memoize-extract.py | 25273 | logplain |
-rw-r--r-- | memoize.edtx | 150950 | logplain |
-rw-r--r-- | memoize.ins | 1801 | logplain |