| Fri, 08 Jan 2016 17:41:04 +0100 | hoelzl | fix code generation for uniformity: uniformity is a non-computable pure data. | changeset | files |
| Fri, 08 Jan 2016 17:40:59 +0100 | hoelzl | add uniform spaces | changeset | files |
| Fri, 08 Jan 2016 16:37:56 +0100 | wenzelm | merged | changeset | files |
| Fri, 08 Jan 2016 16:19:41 +0100 | wenzelm | merged | changeset | files |
| Fri, 08 Jan 2016 15:54:43 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 08 Jan 2016 15:49:01 +0100 | wenzelm | merged | changeset | files |
| Thu, 07 Jan 2016 16:50:52 +0100 | wenzelm | more uniform treatment of symblinks: avoid confusion when unpacking .tar.gz bundle with NTFS links; | changeset | files |
| Thu, 07 Jan 2016 16:29:41 +0100 | wenzelm | tuned signature; | changeset | files |
| Thu, 07 Jan 2016 16:10:13 +0100 | wenzelm | prefer non-ASCII output; | changeset | files |
| Thu, 07 Jan 2016 15:53:39 +0100 | wenzelm | more uniform treatment of package internals; | changeset | files |
| Thu, 07 Jan 2016 15:50:09 +0100 | wenzelm | more thorough GUI update; | changeset | files |
| Thu, 07 Jan 2016 13:42:43 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 08 Jan 2016 16:36:41 +0100 | nipkow | added lemma | changeset | files |
| Fri, 08 Jan 2016 15:27:16 +0100 | eberlm | Tuned constant approximations | changeset | files |
| Thu, 07 Jan 2016 17:42:01 +0000 | paulson | merged | changeset | files |