| Mon, 26 Dec 2016 15:31:13 +0100 | wenzelm | more uniform treatment of file name vs. theory name and special header; | changeset | files |
| Mon, 26 Dec 2016 13:28:37 +0100 | wenzelm | clarified document: no stored text; | changeset | files |
| Mon, 26 Dec 2016 13:21:08 +0100 | wenzelm | clarified header text; | changeset | files |
| Fri, 23 Dec 2016 20:12:27 +0100 | haftmann | restored instance for char, which got ancidentally lost in b3f2b8c906a6 | changeset | files |
| Fri, 23 Dec 2016 20:10:38 +0100 | wenzelm | merged | changeset | files |
| Fri, 23 Dec 2016 20:06:54 +0100 | wenzelm | proper file:// URL for external references; | changeset | files |
| Fri, 23 Dec 2016 19:19:59 +0100 | wenzelm | full range for Position.Item; | changeset | files |