| Mon, 20 Jul 2015 23:12:50 +0100 | paulson | new material for multivariate analysis, etc. | changeset | files |
| Mon, 20 Jul 2015 11:40:43 +0200 | wenzelm | proper LaTeX; | changeset | files |
| Sun, 19 Jul 2015 21:16:39 +0200 | wenzelm | updated to jdk-8u51; | changeset | files |
| Sun, 19 Jul 2015 00:03:10 +0200 | wenzelm | more symbols; | changeset | files |
| Sat, 18 Jul 2015 22:58:50 +0200 | wenzelm | isabelle update_cartouches; | changeset | files |
| Sat, 18 Jul 2015 21:44:18 +0200 | wenzelm | prefer tactics with explicit context; | changeset | files |
| Sat, 18 Jul 2015 21:25:55 +0200 | wenzelm | prefer tactics with explicit context; | changeset | files |
| Sat, 18 Jul 2015 20:59:51 +0200 | wenzelm | merged | changeset | files |
| Sat, 18 Jul 2015 20:54:56 +0200 | wenzelm | prefer tactics with explicit context; | changeset | files |
| Sat, 18 Jul 2015 20:53:05 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Sat, 18 Jul 2015 20:47:08 +0200 | wenzelm | prefer tactics with explicit context; | changeset | files |
| Sat, 18 Jul 2015 20:37:16 +0200 | wenzelm | reactivated dead code; | changeset | files |