| Sat, 13 Aug 2016 23:33:58 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 13 Aug 2016 12:06:11 +0200 | wenzelm | statistics from session build output; | changeset | files |
| Sat, 13 Aug 2016 12:05:53 +0200 | wenzelm | more uniform output; | changeset | files |
| Sat, 13 Aug 2016 07:58:14 +0200 | nipkow | added [simp] lemmas | changeset | files |
| Fri, 12 Aug 2016 22:51:45 +0200 | wenzelm | more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works; | changeset | files |
| Fri, 12 Aug 2016 20:58:20 +0200 | wenzelm | merged | changeset | files |
| Fri, 12 Aug 2016 20:58:05 +0200 | wenzelm | active jEdit actions; | changeset | files |