Edit history for page: eggref/4/z3

revision author date description r1 r2
39572 sjamaan Tue Feb 2 12:10:00 2021 Add "outdated egg" notes to all the CHICKEN 4 eggs
35035 felix Sun Jan 21 11:15:00 2018 z3: updated wiki page for new version
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