| Sun, 25 Jan 2015 13:04:36 +0100 | wenzelm | tuned message; | changeset | files |
| Sun, 25 Jan 2015 12:58:36 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 24 Jan 2015 22:00:24 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 24 Jan 2015 21:37:31 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 24 Jan 2015 21:36:21 +0100 | wenzelm | tuned message; | changeset | files |
| Sat, 24 Jan 2015 16:42:37 +0100 | wenzelm | more direct Output.output; | changeset | files |
| Sat, 24 Jan 2015 13:54:19 +0100 | wenzelm | avoid newline in Pretty.str; | changeset | files |
| Fri, 23 Jan 2015 12:37:57 +0100 | Andreas Lochbihler | merged | changeset | files |
| Fri, 23 Jan 2015 12:37:23 +0100 | Andreas Lochbihler | generalise lemma | changeset | files |
| Fri, 23 Jan 2015 12:04:27 +0100 | hoelzl | integral of the product of count spaces equals the integral of the count space of the product type | changeset | files |
| Thu, 22 Jan 2015 14:51:08 +0100 | hoelzl | import general thms from Density_Compiler | changeset | files |
| Thu, 22 Jan 2015 13:21:45 +0100 | wenzelm | backout cefeea956989: Graphview *is* required in Pure to replace old browser eventually; | changeset | files |
| Thu, 22 Jan 2015 12:39:44 +0100 | haftmann | backed out obsolete workaround from ef1edfb36af7 | changeset | files |
| Wed, 21 Jan 2015 18:40:03 +0100 | haftmann | disjunctive bottom and supremum lists | changeset | files |