| Thu, 27 Oct 2016 20:41:06 +0200 | wenzelm | avoid multiple PIDE markup due to (potentially infinite) backtracking; | changeset | files |
| Thu, 27 Oct 2016 11:39:58 +0200 | wenzelm | more permissive remote_build_history: failure happens routinely and should not lead error, without saving logs; | changeset | files |
| Thu, 27 Oct 2016 15:51:54 +0200 | fleury | more lemmas | changeset | files |