| Mon, 05 Aug 2013 11:01:17 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 29 Jun 2013 12:57:04 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 11 Sep 2012 11:03:59 +0200 | wenzelm | uniform operation on initial delay; | file | diff | annotate |
| Mon, 10 Sep 2012 21:15:46 +0200 | wenzelm | dynamic evaluation of time (e.g. via options); | file | diff | annotate |
| Fri, 07 Sep 2012 15:00:03 +0200 | wenzelm | postpone update of text overview panel after incoming session edits, to improve reactivity of editing massive theories like src/HOL/Multivariate_Analysis; | file | diff | annotate |
| Fri, 07 Sep 2012 13:58:54 +0200 | wenzelm | more explicit Delay operations; | file | diff | annotate |