| Thu, 23 Jul 2015 13:28:34 +0200 | wenzelm | proper latex; | changeset | files |
| Wed, 22 Jul 2015 23:26:00 +0200 | wenzelm | tuned proofs; | changeset | files |
| Wed, 22 Jul 2015 14:55:42 +0200 | wenzelm | tuned proofs; | changeset | files |
| Tue, 21 Jul 2015 19:04:36 +0200 | wenzelm | support for ML debugger; | changeset | files |
| Tue, 21 Jul 2015 14:12:45 +0200 | wenzelm | more explicit thread identification; | changeset | files |
| Tue, 21 Jul 2015 14:07:06 +0200 | wenzelm | avoid lxbroy2, lxbroy3, lxbroy4, which are often busy with other processes; | changeset | files |
| 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 |