| Sat, 26 Nov 2011 14:14:51 +0100 | wenzelm | memoing of forked proofs; | changeset | files |
| Sat, 26 Nov 2011 13:10:12 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 25 Nov 2011 23:04:12 +0100 | wenzelm | removed obsolete argument (cf. 954e9d6782ea); | changeset | files |
| Fri, 25 Nov 2011 22:21:37 +0100 | wenzelm | merged | changeset | files |
| Fri, 25 Nov 2011 19:07:26 +0100 | krauss | removed obsolete uses of Local_Theory.restore -- package composition P1 #> P2 no longer requires them due to 57def0b39696: P2 finds the results of P1 in the auxiliary context | changeset | files |
| Fri, 25 Nov 2011 12:18:39 +0100 | nipkow | merged | changeset | files |
| Fri, 25 Nov 2011 12:18:33 +0100 | nipkow | tuned | changeset | files |
| Fri, 25 Nov 2011 22:10:51 +0100 | wenzelm | increased stack limits (again, cf. d9cf3520083c and 77c3e74bd954); | changeset | files |