Commit Log
| commit | description | author | date |
|---|---|---|---|
| ae2b13a9a629 | Improve the testing infrastructure, rename find-all | Steve Losh | Fri, 18 Mar 2016 12:09:36 +0000 |
| d280326feecc | Add backtracking and wildcards | Steve Losh | Mon, 14 Mar 2016 23:01:26 +0000 |
| 5ea3d706d089 | Add scratch.lisp to .hgignore. | Steve Losh | Mon, 14 Mar 2016 22:59:10 +0000 |
| 5bb73a585f2c | Finish basic proving | Steve Losh | Thu, 10 Mar 2016 18:22:56 +0000 |