revision author date description
26429 iraikov Mon Apr 9 05:55:00 2012 z3 version history update
19397 zbigniew Fri Aug 13 20:45:00 2010 wiki/z3: update for 1.41
17269 felix Tue Feb 16 05:47:00 2010 added progress-indicators, some version fixes
16994 felix Wed Jan 13 06:25:00 2010 converted z3 doc; updated versions