| Mon, 04 May 2015 20:16:19 +0200 | wenzelm | more on GTK; | changeset | files |
| Mon, 04 May 2015 20:05:50 +0200 | wenzelm | more on Isabelle document preparation and bibtex files; | changeset | files |
| Mon, 04 May 2015 19:55:30 +0200 | wenzelm | tuned spelling; | changeset | files |