| Fri, 11 Oct 2013 18:36:51 +0200 | kuncar | don't allow parametricity theorem for typedefs in setup_lifting. The theorem is not used. | changeset | files |
| Mon, 14 Oct 2013 15:21:45 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 12 Oct 2013 19:41:59 +0200 | wenzelm | more screenshots; | changeset | files |
| Sat, 12 Oct 2013 19:00:59 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 12 Oct 2013 14:37:45 +0200 | wenzelm | misc tuning; | changeset | files |
| Sat, 12 Oct 2013 00:10:07 +0200 | wenzelm | more strict find_command -- avoid invalid hyperlink_command; | changeset | files |
| Fri, 11 Oct 2013 23:12:04 +0200 | wenzelm | more consistent state and GUI update, e.g. relevant for full-screen mode switch with its exit/init side-effect; | changeset | files |