| Wed, 10 Feb 2016 14:40:15 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 10 Feb 2016 14:35:10 +0100 | wenzelm | misc tuning; | changeset | files |
| Wed, 10 Feb 2016 14:14:43 +0100 | wenzelm | misc tuning and updates; | changeset | files |
| Wed, 10 Feb 2016 11:22:57 +0100 | wenzelm | misc tuning and updates; | changeset | files |
| Wed, 10 Feb 2016 10:53:30 +0100 | wenzelm | misc tuning; | changeset | files |
| Wed, 10 Feb 2016 09:32:16 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Sun, 07 Feb 2016 21:39:10 +0100 | wenzelm | more on "Markdown-like text structure"; | changeset | files |
| Sun, 07 Feb 2016 20:20:35 +0100 | wenzelm | more on 'consider'; | changeset | files |
| Sun, 07 Feb 2016 19:49:50 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 07 Feb 2016 19:43:40 +0100 | wenzelm | more explicit dummy proofs; | changeset | files |
| Sun, 07 Feb 2016 19:33:42 +0100 | wenzelm | misc tuning and updates; | changeset | files |
| Sun, 07 Feb 2016 19:32:35 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 07 Feb 2016 14:36:16 +0100 | wenzelm | clarified old forms; | changeset | files |
| Sat, 06 Feb 2016 19:26:02 +0100 | wenzelm | Added tag Isabelle2016-RC4 for changeset f4baefee5776 | changeset | files |
| Sat, 06 Feb 2016 12:12:57 +0100 | wenzelm | tuned proofs; | changeset | files |
| Fri, 05 Feb 2016 10:21:38 +0100 | wenzelm | more on Mac OS X with Retina display; | changeset | files |