| Sat, 12 Nov 2011 21:10:56 +0100 | wenzelm | tuned proofs; | changeset | files |
| Sat, 12 Nov 2011 20:14:09 +0100 | wenzelm | merged | changeset | files |
| Sat, 12 Nov 2011 13:01:56 +0100 | huffman | removed some old-style semicolons | changeset | files |
| Sat, 12 Nov 2011 19:44:56 +0100 | wenzelm | index markup elements for more efficient cumulate/select operations; | changeset | files |
| Sat, 12 Nov 2011 18:56:49 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 12 Nov 2011 18:05:31 +0100 | wenzelm | tuned markup -- prefer user-perspective; | changeset | files |
| Sat, 12 Nov 2011 17:53:48 +0100 | wenzelm | tuned specifications and proofs; | changeset | files |