| 2016-01-08 | wenzelm | tuned; | changeset | files |
| 2016-01-08 | hoelzl | fix code generation for uniformity: uniformity is a non-computable pure data. | changeset | files |
| 2016-01-08 | hoelzl | add uniform spaces | changeset | files |
| 2016-01-08 | wenzelm | merged | changeset | files |
| 2016-01-08 | wenzelm | merged | changeset | files |
| 2016-01-08 | wenzelm | tuned; | changeset | files |
| 2016-01-08 | wenzelm | merged | changeset | files |
| 2016-01-07 | wenzelm | more uniform treatment of symblinks: avoid confusion when unpacking .tar.gz bundle with NTFS links; | changeset | files |
| 2016-01-07 | wenzelm | tuned signature; | changeset | files |
| 2016-01-07 | wenzelm | prefer non-ASCII output; | changeset | files |
| 2016-01-07 | wenzelm | more uniform treatment of package internals; | changeset | files |
| 2016-01-07 | wenzelm | more thorough GUI update; | changeset | files |
| 2016-01-07 | wenzelm | tuned; | changeset | files |
| 2016-01-08 | nipkow | added lemma | changeset | files |
| 2016-01-08 | eberlm | Tuned constant approximations | changeset | files |
| 2016-01-07 | paulson | merged | changeset | files |
| Loading... | |||