| Sun, 04 Sep 2011 19:12:06 +0200 | wenzelm | simplified signatures; | changeset | files |
| Sun, 04 Sep 2011 19:06:45 +0200 | wenzelm | synchronous XML.Cache without actor -- potentially more efficient on machines with few cores; | changeset | files |
| Sun, 04 Sep 2011 17:50:19 +0200 | wenzelm | tuned document; | changeset | files |
| Sun, 04 Sep 2011 17:35:34 +0200 | wenzelm | improved handling of extended styles and hard tabs when prover is inactive; | changeset | files |