| Fri, 31 Aug 2012 15:04:03 +0200 | blanchet | generate "split" property | changeset | files |
| Fri, 31 Aug 2012 16:35:30 +0200 | wenzelm | more precise register_proofs for local goals; | changeset | files |
| Fri, 31 Aug 2012 15:25:26 +0200 | wenzelm | more informative error message from failed goal forks (violating old-style TTY protocol!); | changeset | files |