| Fri, 24 Jul 2015 22:20:22 +0200 | wenzelm | proper context; | changeset | files |
| Fri, 24 Jul 2015 22:19:36 +0200 | wenzelm | unused; | changeset | files |
| Fri, 24 Jul 2015 22:16:39 +0200 | wenzelm | proper context; | changeset | files |
| Thu, 23 Jul 2015 22:13:42 +0200 | wenzelm | more symbols by default, without xsymbols mode; | changeset | files |
| Thu, 23 Jul 2015 16:40:47 +0200 | hoelzl | Measures form a CCPO | changeset | files |
| Thu, 23 Jul 2015 16:39:10 +0200 | hoelzl | reorganized Extended_Real | changeset | files |
| Thu, 23 Jul 2015 14:25:05 +0200 | wenzelm | isabelle update_cartouches; | changeset | files |
| Thu, 23 Jul 2015 14:20:51 +0200 | wenzelm | tuned proofs; | changeset | files |
| 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 |