revision author date description
33215 ashinn Wed Feb 24 14:25:00 2016 Update note about mini-kanren egg.
16994 felix Wed Jan 13 06:25:00 2010 converted z3 doc; updated versions
15008 felix Wed Jun 17 14:08:00 2009 added wiki pages