| Sat, 07 Dec 2013 12:52:31 +0100 | wenzelm | proper latex; | changeset | files |
| Fri, 06 Dec 2013 23:36:28 +0100 | wenzelm | NEWS; | changeset | files |
| Fri, 06 Dec 2013 23:34:14 +0100 | wenzelm | no keyboard control -- avoid confusion about meaning of selection; | changeset | files |
| Fri, 06 Dec 2013 23:25:38 +0100 | wenzelm | directly react on click, assuming that document view operation is mostly idempotent; | changeset | files |
| Fri, 06 Dec 2013 22:50:47 +0100 | wenzelm | generic $ISABELLE_OPEN; | changeset | files |
| Fri, 06 Dec 2013 22:35:51 +0100 | wenzelm | updated to Sumatra PDF 2.4; | changeset | files |
| Fri, 06 Dec 2013 22:10:45 +0100 | wenzelm | clarified "isabelle display" and 'display_drafts': re-use file and program instance, open asynchronously via desktop environment; | changeset | files |
| Fri, 06 Dec 2013 21:49:08 +0100 | wenzelm | tuned; | changeset | files |