| Sat, 12 Jan 2019 19:53:57 +0100 | wenzelm | more robust: jEdit may produce names with trailing "/"; | changeset | files |
| Fri, 11 Jan 2019 22:59:00 +0100 | wenzelm | merged | changeset | files |
| Fri, 11 Jan 2019 22:55:02 +0100 | wenzelm | access Isabelle theory exports via virtual file-system; | changeset | files |
| Fri, 11 Jan 2019 22:35:41 +0100 | wenzelm | clarified signature; | changeset | files |