hg.stevelosh.com > temperance

Commit Log

fewer more | at revision 13: (0) -10 -6 +6 +10 +30 +100 tip
commit description author date
2daf5fb2fe92 Add API documentation building Steve Losh Fri, 18 Mar 2016 13:50:04 +0000
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
1340243d4843 Start on the logic database Steve Losh Thu, 10 Mar 2016 15:14:48 +0000
fewer more | at revision 13: (0) -10 -6 +6 +10 +30 +100 tip