| Sun, 24 Mar 2013 14:26:10 +0100 | wenzelm | more "quick start" hints; | changeset | files |
| Sun, 24 Mar 2013 12:07:31 +0100 | traytel | simple case syntax for stream (stolen from AFP/Coinductive) | changeset | files |
| Sat, 23 Mar 2013 21:48:03 +0100 | wenzelm | prefer plain \<^sub> for better rendering (both in Isabelle/jEdit and LaTeX); | changeset | files |
| Sat, 23 Mar 2013 21:19:10 +0100 | wenzelm | merged | changeset | files |
| Sat, 23 Mar 2013 21:13:03 +0100 | wenzelm | reverted most of 5944b20c41bf -- tends to cause race condition of synchronous vs. asynchronous version; | changeset | files |
| Sat, 23 Mar 2013 19:54:15 +0100 | wenzelm | no censorship of "view.fracFontMetrics", although it often degrades rendering quality; | changeset | files |
| Sat, 23 Mar 2013 19:39:31 +0100 | wenzelm | retain original tooltip range, to avoid repeated window popup when the mouse is moved over the same content; | changeset | files |