| Wed, 09 Apr 2014 12:28:24 +0200 | wenzelm | more standard names; | changeset | files |
| Wed, 09 Apr 2014 12:22:57 +0200 | wenzelm | proper context for print_tac; | changeset | files |
| Wed, 09 Apr 2014 11:32:41 +0200 | wenzelm | more conventional tactic programming; | changeset | files |
| Wed, 09 Apr 2014 10:44:06 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 10 Apr 2014 11:34:55 +0200 | traytel | reintroduce example (cf. 39281b3e4fac) | changeset | files |
| Thu, 10 Apr 2014 10:52:48 +0200 | traytel | use mutual clique information (cf. c451cf8b29c8) to make N2M more robust | changeset | files |
| Thu, 10 Apr 2014 09:38:38 +0200 | traytel | made N2M tactic more robust | changeset | files |