| Wed, 21 May 2014 16:46:14 +0200 | wenzelm | merged | changeset | files |
| Wed, 21 May 2014 16:21:11 +0200 | wenzelm | more uniform Font_Info.Zoom_Box; | changeset | files |
| Wed, 21 May 2014 15:24:42 +0200 | wenzelm | added zoom box, like for outer output windows; | changeset | files |
| Wed, 21 May 2014 14:42:45 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 21 May 2014 16:26:04 +0200 | Lars Hupel | consolidate "break_thm" and "break_term" attributes into "simp_break"; | changeset | files |
| Wed, 21 May 2014 14:09:43 +0200 | blanchet | docs | changeset | files |
| Wed, 21 May 2014 14:09:43 +0200 | blanchet | added comment | changeset | files |
| Wed, 21 May 2014 14:09:42 +0200 | blanchet | move exhaust first, for technical reasons | changeset | files |
| Wed, 21 May 2014 14:09:42 +0200 | blanchet | avoid markup-generating @{make_string} | changeset | files |
| Wed, 21 May 2014 13:52:46 +0200 | hoelzl | generalized Bochner integral over infinite sums | changeset | files |
| Wed, 21 May 2014 12:49:27 +0200 | wenzelm | unused; | changeset | files |
| Wed, 21 May 2014 12:34:27 +0200 | wenzelm | obsolete; | changeset | files |
| Wed, 21 May 2014 12:14:03 +0200 | wenzelm | approximative update of versions; | changeset | files |
| Wed, 21 May 2014 12:03:46 +0200 | wenzelm | incorporate isabelle.graphview into Pure.jar, which saves 20..30s build time; | changeset | files |
| Wed, 21 May 2014 10:13:12 +0200 | Lars Hupel | remove stray println; | changeset | files |