Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
portcullis.lisp.gz | 2011-01-28 16:25 | 57 | ||
cert.acl2.gz | 2011-01-28 16:25 | 59 | ||
portcullis.acl2.gz | 2011-01-28 16:25 | 117 | ||
Makefile.gz | 2010-09-20 19:29 | 125 | ||
equal-based-set.lisp.gz | 2010-09-20 19:29 | 149 | ||
make-acl2-grep.lsp.gz | 2010-09-20 19:29 | 245 | ||
regex-chartrans.lisp.gz | 2010-09-20 19:29 | 690 | ||
Readme.lsp.gz | 2010-09-20 19:29 | 859 | ||
defset-encapsulates.lisp.gz | 2010-09-20 19:29 | 1.0K | ||
regex-fileio.lisp.gz | 2010-09-20 19:29 | 1.1K | ||
regex-defs.lisp.gz | 2011-02-08 20:08 | 1.2K | ||
regex-parse-bracket.lisp.gz | 2010-09-20 19:29 | 1.6K | ||
regex-parse-brace.lisp.gz | 2010-09-20 19:29 | 1.7K | ||
input-list.lisp.gz | 2011-01-28 16:18 | 1.9K | ||
regex-parse.lisp.gz | 2011-01-28 16:18 | 3.8K | ||
defset-macros.lisp.gz | 2010-09-20 19:29 | 5.0K | ||
grep-command-line.lisp.gz | 2010-09-20 19:29 | 5.7K | ||
regex-exec.lisp.gz | 2011-01-28 16:18 | 6.8K | ||
regex-tests.lisp.gz | 2011-02-08 20:08 | 11K | ||