| Mon, 26 Nov 2012 16:28:22 +0100 | wenzelm | clarified status of Legacy_XML_Syntax, despite lack of Proofterm_XML; | changeset | files |
| Mon, 26 Nov 2012 16:22:29 +0100 | wenzelm | reset active areas on content update; | changeset | files |
| Mon, 26 Nov 2012 16:16:47 +0100 | wenzelm | more general sendback properties; | changeset | files |
| Mon, 26 Nov 2012 14:43:28 +0100 | wenzelm | tuned command descriptions; | changeset | files |