| Fri, 28 May 2010 13:37:29 +0200 | haftmann | avoid reference to thm PairE | changeset | files |
| Fri, 28 May 2010 13:37:28 +0200 | haftmann | more coherent theory structure; tuned headings | changeset | files |
| Fri, 28 May 2010 18:15:22 +0200 | wenzelm | made SML/NJ quite happy; | changeset | files |
| Fri, 28 May 2010 17:48:18 +0200 | wenzelm | reuse main view.font from jEdit; | changeset | files |
| Fri, 28 May 2010 16:01:25 +0200 | wenzelm | deleted some old fonts; | changeset | files |
| Fri, 28 May 2010 15:57:25 +0200 | wenzelm | also set font for printing, which actually works out of the box; | changeset | files |
| Fri, 28 May 2010 15:17:17 +0200 | wenzelm | lib/Tools/makeall does not hardiwre logics; | changeset | files |