Tue, 28 Aug 2012 13:09:01 +0200 | wenzelm | more standard document preparation within session context; | changeset | files |
Tue, 28 Aug 2012 13:04:15 +0200 | wenzelm | more standard document preparation within session context; | changeset | files |
Tue, 28 Aug 2012 12:55:32 +0200 | wenzelm | updated IsarRef/document/style.sty; | changeset | files |