| Fri, 18 Sep 2015 16:27:37 +0100 | paulson | Massive revisions, as a valid path must now be continously differentiable (C!) | changeset | files |
| Thu, 17 Sep 2015 15:48:06 +0200 | wenzelm | isabelle update_cartouches; | changeset | files |
| Thu, 17 Sep 2015 15:47:24 +0200 | wenzelm | isabelle update_cartouches; | changeset | files |
| Wed, 16 Sep 2015 23:48:35 +0200 | wenzelm | recode all text, which is relevant for Session.save on non-ASCII directory; | changeset | files |