| Mon, 09 Dec 2013 23:22:44 +0000 | paulson | streamlined two proofs | changeset | files |
| Mon, 09 Dec 2013 23:16:10 +0100 | wenzelm | merged | changeset | files |
| Mon, 09 Dec 2013 22:02:42 +0100 | wenzelm | alternative hires icon; | changeset | files |
| Mon, 09 Dec 2013 22:49:27 +0100 | haftmann | NEWS | changeset | files |
| Sat, 07 Dec 2013 20:09:35 +0100 | haftmann | default code equations for make, fields, extend and truncate operations on records | changeset | files |
| Mon, 09 Dec 2013 21:32:45 +0100 | wenzelm | browse directory hyperlink as well; | changeset | files |
| Mon, 09 Dec 2013 20:16:12 +0100 | wenzelm | provide @{file_unchecked} in Isabelle/Pure; | changeset | files |