Graph

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

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
Start on the logic database
Thu, 10 Mar 2016 15:14:48 +0000, by Steve Losh

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