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