| Fri, 30 Apr 2010 13:47:39 +0200 | krauss | return updated info record after termination proof | changeset | files |
| Fri, 30 Apr 2010 18:06:29 +0200 | wenzelm | proper context for rule_by_tactic; | changeset | files |
| Fri, 30 Apr 2010 17:18:29 +0200 | wenzelm | conditional warnings: explicitly observe context visibility flag, not just accidental presence of a context; | changeset | files |
| Thu, 29 Apr 2010 23:55:43 +0200 | krauss | hgweb style: show author in filelog; full description in annotate hover | changeset | files |