| Thu, 19 Nov 2015 22:21:51 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Thu, 19 Nov 2015 22:06:14 +0100 | wenzelm | trim lines for @{theory_text} similarly to @{text}; | changeset | files |
| Thu, 19 Nov 2015 20:55:40 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 19 Nov 2015 18:43:41 +0100 | nipkow | tuned and converted to cmp | changeset | files |