| Mon, 14 Jan 2019 14:03:02 +0100 | wenzelm | more favorites; | changeset | files |
| Mon, 14 Jan 2019 13:58:12 +0100 | wenzelm | clarified message; | changeset | files |
| Sun, 13 Jan 2019 20:25:41 +0100 | wenzelm | information with hyperlink to "isabelle-export:"; | changeset | files |
| Sun, 13 Jan 2019 19:42:06 +0100 | wenzelm | support hyperlink to theory exports; | changeset | files |