Graph

less more | at revision 12: (0) -10 -4 +4 +10 +30 +100 tip

Improve the testing infrastructure, rename find-all
Fri, 18 Mar 2016 12:09:36 +0000, by Steve Losh
Add backtracking and wildcards
Mon, 14 Mar 2016 23:01:26 +0000, by Steve Losh
Add scratch.lisp to .hgignore.
Mon, 14 Mar 2016 22:59:10 +0000, by Steve Losh
Finish basic proving
Thu, 10 Mar 2016 18:22:56 +0000, by Steve Losh

less more | at revision 12: (0) -10 -4 +4 +10 +30 +100 tip