| Wed, 28 Dec 2016 17:26:38 +0100 | wenzelm | clarified signature: maintan Text.Length within Line.Document; | changeset | files |
| Wed, 28 Dec 2016 17:10:09 +0100 | wenzelm | clarified modules; | changeset | files |
| Wed, 28 Dec 2016 17:02:38 +0100 | wenzelm | clarified signature: explicit Length to avoid implicit mistakes; | changeset | files |
| Wed, 28 Dec 2016 16:50:14 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 28 Dec 2016 16:45:00 +0100 | wenzelm | more uniform treatment of input/output wrt. client; | changeset | files |
| Wed, 28 Dec 2016 11:28:31 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 28 Dec 2016 10:39:50 +0100 | wenzelm | more uniform treatment of "bad" like other messages (with serial number); | changeset | files |
| Tue, 27 Dec 2016 17:33:57 +0100 | wenzelm | clarified modules; | changeset | files |
| Tue, 27 Dec 2016 16:47:33 +0100 | wenzelm | support for diagnostics; | changeset | files |
| Wed, 28 Dec 2016 17:22:16 +0100 | blanchet | print constants in 'primrec', 'primcorec(ursive)', 'corec(ursive)', like in 'definition' and 'fun(ction)' | changeset | files |
| 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 |
| Fri, 23 Dec 2016 19:07:54 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 23 Dec 2016 17:04:29 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 23 Dec 2016 16:20:42 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 23 Dec 2016 15:53:53 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 23 Dec 2016 11:53:31 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 23 Dec 2016 11:36:41 +0100 | wenzelm | suppress dummy id; | changeset | files |
| Fri, 23 Dec 2016 11:21:38 +0100 | wenzelm | omit unused markup; | changeset | files |
| Fri, 23 Dec 2016 11:19:28 +0100 | wenzelm | removed junk; | changeset | files |
| Thu, 22 Dec 2016 11:55:22 +0100 | wenzelm | proper clean_yxml; | changeset | files |
| Thu, 22 Dec 2016 11:38:16 +0100 | wenzelm | clarified modules; | changeset | files |
| Thu, 22 Dec 2016 11:20:59 +0100 | wenzelm | tuned; | changeset | files |