| Mon, 31 Dec 2012 13:20:23 +0100 | wenzelm | updated for release; | changeset | files |
| Mon, 31 Dec 2012 13:16:51 +0100 | wenzelm | updated for release; | changeset | files |
| Mon, 31 Dec 2012 13:08:49 +0100 | wenzelm | updated for release; | changeset | files |
| Mon, 31 Dec 2012 13:08:37 +0100 | wenzelm | misc tuning for release; | changeset | files |
| Mon, 31 Dec 2012 12:25:11 +0100 | wenzelm | recovered Isabelle2012 NEWS from ae12b92c145a, except for e5420161d11d; | changeset | files |
| Mon, 31 Dec 2012 12:09:51 +0100 | wenzelm | updated to smlnj-110.75; | changeset | files |
| Sun, 30 Dec 2012 21:49:20 +0100 | wenzelm | tuned rendering; | changeset | files |
| Sun, 30 Dec 2012 20:15:02 +0100 | wenzelm | ignore markup elements over empty body, which are not well-defined within markup tree and fail to work with merge_disjoint (e.g. multiple inlined positions); | changeset | files |