Wed, 10 Jun 2015 23:34:23 +0200 | wenzelm | misc tuning; | changeset | files |
Wed, 10 Jun 2015 22:28:56 +0200 | wenzelm | misc tuning; | changeset | files |
Wed, 10 Jun 2015 21:49:02 +0200 | wenzelm | unused; | changeset | files |
Wed, 10 Jun 2015 20:15:58 +0200 | wenzelm | misc tuning; | changeset | files |
Wed, 10 Jun 2015 19:10:20 +0200 | wenzelm | isabelle update_cartouches; | changeset | files |
Wed, 10 Jun 2015 19:05:19 +0200 | wenzelm | more user aliases; | changeset | files |