| 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 |
| Sat, 26 Apr 2014 17:25:02 +0200 | wenzelm | actually observe search limit; | changeset | files |
| Sat, 26 Apr 2014 17:20:37 +0200 | wenzelm | misc tuning; | changeset | files |
| Sat, 26 Apr 2014 15:33:13 +0200 | wenzelm | uniform focus traversal via TAB / Shift-TAB for all fields, in contrast to Java defaults, but in accordance to occasional jEdit practice; | changeset | files |
| Sat, 26 Apr 2014 15:01:42 +0200 | wenzelm | tuned GUI events; | changeset | files |
| Sat, 26 Apr 2014 14:59:50 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 26 Apr 2014 14:01:06 +0200 | wenzelm | tuned spelling; | changeset | files |
| Sat, 26 Apr 2014 14:00:49 +0200 | wenzelm | clarified PIDE modules; | changeset | files |
| Sat, 26 Apr 2014 13:50:25 +0200 | wenzelm | clarified; | changeset | files |
| Sat, 26 Apr 2014 13:34:10 +0200 | wenzelm | tuned signature; | changeset | files |
| Sat, 26 Apr 2014 13:32:28 +0200 | wenzelm | tuned imports; | changeset | files |
| Sat, 26 Apr 2014 13:18:46 +0200 | wenzelm | tuned headers; | changeset | files |
| Sat, 26 Apr 2014 13:07:20 +0200 | wenzelm | tuned signature; | changeset | files |
| Sat, 26 Apr 2014 14:53:22 +0200 | haftmann | more complete classical rules for Inf and Sup, modelled after theiry counterparts on Inter and Union (and INF and SUP) | changeset | files |
| Sat, 26 Apr 2014 13:25:46 +0200 | haftmann | subsumed by existing default simp rules for functions and booleans | changeset | files |
| Sat, 26 Apr 2014 13:25:45 +0200 | haftmann | tuned | changeset | files |
| Sat, 26 Apr 2014 13:25:44 +0200 | haftmann | avoid non-standard simp default rule | changeset | files |
| Sat, 26 Apr 2014 21:37:09 +1000 | kleing | retired wwwfind | changeset | files |
| Sat, 26 Apr 2014 06:43:06 +0200 | blanchet | use right set of variables for recursive check | changeset | files |
| Sat, 26 Apr 2014 00:20:53 +0200 | wenzelm | merged | changeset | files |
| Sat, 26 Apr 2014 00:20:26 +0200 | wenzelm | tuned -- potentially more robust; | changeset | files |