Mon, 11 Mar 2013 13:28:46 +0100 | wenzelm | support for 'chapter' specifications within session ROOT; | changeset | files |
Tue, 12 Mar 2013 19:55:17 +0100 | nipkow | added latex markup | changeset | files |
Tue, 12 Mar 2013 11:59:26 +0100 | kleing | merged | changeset | files |
Tue, 12 Mar 2013 11:59:02 +0100 | kleing | more snippets | changeset | files |
Tue, 12 Mar 2013 11:31:31 +0100 | nipkow | added pairs | changeset | files |
Tue, 12 Mar 2013 07:51:10 +0100 | nipkow | extended set comprehension notation with {pttrn : A . P} | changeset | files |
Mon, 11 Mar 2013 18:33:21 +0100 | nipkow | tuned | changeset | files |