| Sat, 23 Nov 2013 16:39:08 +0100 | wenzelm | more accurate goal context; | changeset | files |
| Sat, 23 Nov 2013 13:11:12 +0100 | wenzelm | more official option; | changeset | files |
| Fri, 22 Nov 2013 21:13:44 +0100 | wenzelm | clarified node edits sent to prover -- Clear/Blob only required for text edits within editor; | changeset | files |
| Fri, 22 Nov 2013 20:54:26 +0100 | wenzelm | exclude gzipped files from document model, to avoid confusion about actual file name and content; | changeset | files |