| Mon, 26 Nov 2012 11:45:12 +0100 | blanchet | distinguish declated tfrees from other tfrees -- only the later can be optimized away | changeset | files |
| 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 |