| Mon, 28 Apr 2014 14:41:49 +0200 | wenzelm | mane delayed events outside of Swing thread -- triggers no longer require Swing_Thread.later; | changeset | files |
| Mon, 28 Apr 2014 14:19:14 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 28 Apr 2014 12:56:54 +0200 | wenzelm | added Scala version of module Event_Timer; | changeset | files |
| Mon, 28 Apr 2014 00:54:31 +0200 | blanchet | restored naming trick | changeset | files |
| Mon, 28 Apr 2014 00:54:30 +0200 | blanchet | more reliable 'name_of_bnf' | changeset | files |
| Mon, 28 Apr 2014 00:54:30 +0200 | blanchet | cleaner 'rel_inject' theorems | changeset | files |
| Sun, 27 Apr 2014 19:32:55 +0200 | wenzelm | modernized Isabelle classpath for graphview; | changeset | files |
| Sun, 27 Apr 2014 13:35:18 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 26 Apr 2014 22:57:51 +0200 | wenzelm | merged | changeset | files |
| Sat, 26 Apr 2014 22:51:21 +0200 | wenzelm | NEWS; | changeset | files |
| Sat, 26 Apr 2014 22:43:22 +0200 | wenzelm | tuned message; | changeset | files |
| Sat, 26 Apr 2014 22:35:19 +0200 | wenzelm | proper handling of shared zoom component: update layout dynamically; | changeset | files |
| Sat, 26 Apr 2014 21:49:31 +0200 | wenzelm | PIDE support for find_consts; | changeset | files |
| Sat, 26 Apr 2014 21:16:50 +0200 | wenzelm | some rearrangements to support multiple find operations; | changeset | files |
| Sat, 26 Apr 2014 18:06:21 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 26 Apr 2014 17:53:03 +0200 | wenzelm | clarified GUI focus; | changeset | files |