Mon, 12 Oct 2015 21:42:14 +0200 | wenzelm | redundant due to \parindent 0pt; | changeset | files |
Mon, 12 Oct 2015 21:15:10 +0200 | wenzelm | isabelle update_cartouches; | changeset | files |
Mon, 12 Oct 2015 21:11:48 +0200 | wenzelm | scalable fonts for T1 encoding; | changeset | files |