| Wed, 15 May 2013 12:10:44 +0200 | kuncar | superfluous transfer rule | changeset | files |
| Wed, 15 May 2013 12:10:39 +0200 | kuncar | stronger reflexivity prover | changeset | files |
| Tue, 14 May 2013 21:56:19 +0200 | wenzelm | simplified modules and exceptions; | changeset | files |
| Tue, 14 May 2013 21:40:25 +0200 | wenzelm | more elementary pgiptype; | changeset | files |
| Tue, 14 May 2013 21:02:49 +0200 | wenzelm | prefer Markup.parse/print operations -- slight change of exception behaviour; | changeset | files |
| Tue, 14 May 2013 20:46:09 +0200 | wenzelm | more uniform Markup.print_real; | changeset | files |
| Tue, 14 May 2013 20:32:10 +0200 | wenzelm | removed dead code; | changeset | files |