| Tue, 25 Feb 2014 18:07:35 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 25 Feb 2014 17:23:20 +0100 | wenzelm | tuned message -- more markup; | changeset | files |
| Tue, 25 Feb 2014 17:03:55 +0100 | wenzelm | clarified token markup: keyword1/keyword2 is for syntax, and "command" the entity kind; | changeset | files |
| Tue, 25 Feb 2014 14:56:58 +0100 | wenzelm | proper context for global data; | changeset | files |
| Tue, 25 Feb 2014 14:34:18 +0100 | wenzelm | modernized Method.check_name/check_source (with reports) vs. strict Method.the_method (without interning nor reports), e.g. relevant for semantic completion; | changeset | files |
| Tue, 25 Feb 2014 12:53:08 +0100 | wenzelm | optimize special case according to Library.merge (see also 8fbc355100f2); | changeset | files |
| Tue, 25 Feb 2014 11:36:04 +0100 | wenzelm | more positions; | changeset | files |
| Tue, 25 Feb 2014 10:50:12 +0100 | wenzelm | more markup; | changeset | files |