| Thu, 29 Apr 2010 15:00:41 +0200 | haftmann | avoid popular infixes | changeset | files |
| Thu, 29 Apr 2010 15:00:40 +0200 | haftmann | code_reflect: specify module name directly after keyword | changeset | files |
| Thu, 29 Apr 2010 15:00:39 +0200 | haftmann | NEWS: code_reflect | changeset | files |
| Thu, 29 Apr 2010 10:35:09 +0200 | haftmann | merged | changeset | files |
| Wed, 28 Apr 2010 21:41:06 +0200 | haftmann | updated generated file | changeset | files |
| Wed, 28 Apr 2010 21:41:05 +0200 | haftmann | modernized structure name | changeset | files |
| Wed, 28 Apr 2010 21:41:05 +0200 | haftmann | use code_reflect | changeset | files |
| Thu, 29 Apr 2010 17:50:11 +0200 | wenzelm | merged | changeset | files |
| Thu, 29 Apr 2010 09:06:35 +0200 | Cezary Kaliszyk | Tuning the quotient examples | changeset | files |
| Wed, 28 Apr 2010 17:42:37 +0200 | krauss | clarified signature; simpler implementation in terms of function's tactic interface | changeset | files |
| Wed, 28 Apr 2010 16:13:17 +0200 | krauss | return info record (relative to auxiliary context!) | changeset | files |
| Wed, 28 Apr 2010 11:52:04 +0200 | krauss | default termination prover as plain tactic | changeset | files |